20010103 unknown: Congress House is no-smoking zone