The boss Mr. Ervin Shehu is a very punctual man. That's why, he has decided to buy a new electronic card system which records the coming and leaving times of the staff. Mr. Shehu wants you to write a program to calculate the work time of the staff from their electronics card information.

Input specification
You will be given two time informations in a line separated by a space (time1 time2). Every time information contains three integers separated by two semicolons ':' (hh:mm:ss hh:mm:ss) where 0 ≤ hour ≤ 23, and 0 ≤ minute, second ≤ 59. And, it's guaranteed that time1 < time2.

Output specification
Give three integers (hours:minutes:seconds) separated by semicolons ':' which represent the time passed between the two given times.

Note: In MS. Excel, you can subtract a time from another as in the figure below.