GPS時刻をJSTに変換するプログラム

GPS時刻をJSTに変換するプログラム

print("Please input gps-time")
gps_time = int(input())+(9*60*60)-19 #うるう秒は19秒で計算 
roll_over = gps_time // (1024*7*24*60*60)
week_time = gps_time - (roll_over*1024*7*24*60*60)
week_number = week_time // (7*24*60*60)
day_time = week_time - (week_number*7*24*60*60)
day = day_time // (24*60*60)
time = day_time - (day*24*60*60)
hr = time // (60*60)
min_time = time-(hr*60*60)
min2 = min_time // 60
sec = min_time - min2*60

print("roll_over : " + str(roll_over))
print("week_number : " + str(week_number))
print("day : " + str(day))
print("time(JST) : " + str(hr).zfill(2) + ":" + str(min2).zfill(2) + ":" + str(sec).zfill(2))
input("なにかkeyを押してください。")