int main(){ assert('G;'==17); return 0; }