(stdin upToEnd asNumber*2)print