<?php while($n=trim(fgets(STDIN)))echo ($n>0&&$n<13)?strftime("$n %B\n",mktime(0,0,0,$n)):'';
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page