for(;;)print('.123456789e'+readline().length|0)