20020115 delhi-times: Hurray; what a holiday!