int read() { int s=0; char x=getchar(); while(x<'0'||x>'9') x=getchar(); while(x>='0'&&x<='9') s=s*10+x-'0',x=getchar(); return s; }