int get_val() { int ret=0; char c; while((c=getchar())!=' '&&c!='\n') ret=ret*10+c-'0'; return ret; }