print raw_input()+"\x00"