int main(){ char rbuf[3]; read(0,rbuf,3); write(1,"390429468507546"+((rbuf[0]&7)-(rbuf[2]!='B'))*3,3); _exit(0); }