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