$><<`xgawk -F: '/:/{print strftime("%T",-3600*(9+$1)-60*$2-$3)}'`