#include <iostream>
using namespace std;
int hh,mm;
int main(int argc, char *argv[]) {
	while(cin>>hh>>mm){
		if(hh>7&&hh<17) cout<<"At School"<<endl;
		else if(hh==7&&mm>=30) cout<<"At School"<<endl;
				else cout<<"Off School"<<endl;
	}
	return 0;
}