#18474: python 時間轉int AC


r2005.wang@gmail.com (王藝誠)


a = input() 
a = int(a[:-3]+a[-2:])  #把"17 00"中的空格拿掉變成數字
print(["Off School","At School"][730 <= a and a <= 1700])  #比較大小