int read() { int d=0; char c=getchar(); while(c<'0'||c>'9') c=getchar(); while(c>='0'&&c<='9') { d=d*10+c-48; c=getchar(); } return d; }