n=gets.to_i/5*3;puts '%02d:%02d'%[10+n/60,n%60]