判断：当伦敦时间为10月1日0时，北京时间为10月1日9时。