print'"%s"'%raw_input()

そうこうするうちにPost mortem時刻となったので他の人の回答を見る。 Python部門1位の戦法はosコマンドでsed(1)、date(1)を使っていた。あとでsedおさらいしよう。 exec無しだとtime.strftime()ではなくcalendar.month_name[]の方が短く済んだようだ。 あと…

ひさびさのgolf。とりあえずまとも(?)に解く。153byte。 Python部門トップが意味不明なんですが？