d[];main(i){main(dprintf(d[i=++d[getchar()]+10]>0,"%c:%3d\n",i,d[i]));}