main(){system("xgawk -F: '/:/{print strftime(\"%T\",-3600*(9+$1)-60*$2-$3)}'");}