t;main(v){scanf("0.%d%d",&v,&t);t=!printf("%d",t*=v/1e4);}