for(;Q=readline();)print(new Date(1E3*Q).toJSON().replace(/-(..)-(..)T(.{8}).*/,'/$1/$2 $3'))