for(;Q=readline();)print(new Date(1E3*Q).toJSON().replace(/-(..)-(..)T(.{8}).*/,'/$1/$2 $3'))
Note that non-ascii characters in the above source code will be escaped (such as \x9f).
download
return to the top page