Gries時間からJakarta時間への変換
13:42:03
+5
18:42:03
+7
+7
+7
+7
+7
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+6
+5
+5
+5
+4.5
+4
+4
+4
+4
+3.5
+3.5
+3.5
+3.5
+3.5
+3.5
+3.5
+3.5
+3.5
+3.5
+3
+3
+2.5
+2
+1.5
+1
+1
+1
+1
+1
+1
+1
+1
+1
+0
+0
+0
+0
-1
-1
-1
-1
-1
-1
-2
-5
-5
-5
-6
-6
-6
-7
-7
-8
-9