ｆｕｎｃｔｉｏｎ ｇｅｔＤｏｕｂｌｅ（ｎ）｛
ｉｆ（ｎ ＞ ９）｛
ｒｅｔｕｒｎ ｎ；
｝ｅｌｓｅ｛
ｒｅｔｕｒｎ ＂０＂ ＋ ｎ；
｝
ｆｕｎｃｔｉｏｎ ｄｉｆｆＴｉｍｅ（ｓｔａｒｔＴｉｍｅ， ｅｎｄＴｉｍｅ） ｛
ｖａｒ ｄＴｉｍｅ ＝ ｅｎｄＴｉｍｅ － ｓｔａｒｔＴｉｍｅ；
ｖａｒ ｄａｙ，ｈｏｕｒ，ｍｉｎｕｔｅ，ｓｅｃｏｎｄ；
ｖａｒ ｉｎｔｅｒｖａｌ ＝ ｄＴｉｍｅ ／ １０００；
ｓｅｃｏｎｄ ＝ ｇｅｔＤｏｕｂｌｅ（Ｍａｔｈ。ｆｌｏｏｒ（ｉｎｔｅｒｖａｌ ％ ６０））；
ｍｉｎｕｔｅ ＝ ｇｅｔＤｏｕｂｌｅ（Ｍａｔｈ。ｆｌｏｏｒ（ｉｎｔｅｒｖａｌ ／ ６０ ％ ６０））；
ｈｏｕｒ ＝ ｇｅｔＤｏｕｂｌｅ（Ｍａｔｈ。ｆｌｏｏｒ（ｉｎｔｅｒｖａｌ ／ ６０ ／ ６０ ％ ２４））；
ｄａｙ ＝ ｇｅｔＤｏｕｂｌｅ（Ｍａｔｈ。ｆｌｏｏｒ（ｉｎｔｅｒｖａｌ ／ ６０ ／ ６０ ／ ２４））；
ｉｆ（ｄＴｉｍｅ ＞ ０） ｛
ｒｅｔｕｒｎ｛
ｄａｙ： ｄａｙ，
ｈｏｕｒ： ｈｏｕｒ，
ｍｉｎｕｔｅ： ｍｉｎｕｔｅ，
ｓｅｃｏｎｄ： ｓｅｃｏｎｄ
｝ ｅｌｓｅ ｛
ｒｅｔｕｒｎ ｃｌｅａｒＩｎｔｅｒｖａｌ（ｔｉｍｅＩｄ）；
｝
｝
｝
ｖａｒ ｅｎｄＴｉｍｅ ＝ ｎｅｗ Ｄａｔｅ（“２０２０－１１－１１ ０:０:０”）；
ｖａｒ ｄａｙ ＝ ｄｏｃｕｍｅｎｔ。ｑｕｅｒｙＳｅｌｅｃｔｉｒ（“＃ｄａｙ”）；
ｖａｒ ｈｏｕｒ ＝ ｄｏｃｕｍｅｎｔ。ｑｕｅｒｙＳｅｌｅｃｔｉｒ（“＃ｈｏｕｒ”）；
ｖａｒ ｍｉｎｕｔｅ ＝ ｄｏｃｕｍｅｎｔ。ｑｕｅｒｙＳｅｌｅｃｔｉｒ（“＃ｍｉｎｕｔｅ“）；
ｖａｒ ｓｅｃｏｎｄ ＝ ｄｏｃｕｍｅｎｔ。ｑｕｅｒｙＳｅｌｅｃｔｉｒ（“＃ｓｅｃｏｎｄ“）；
ｆｕｎｃｔｉｏｎ ｃｏｕｎｔＤｏｗｎ（）｛
ｖａｒ ｓｔａｒｔＴｉｍｅ ＝ ｎｅｗ Ｄａｔｅ（）；
ｖａｒ ｄｉｆｆＴｉｍｅ ＝ ｄｉｆｆＴｉｍｅ（ｓｔａｒｔＴｉｍｅ，ｅｎｄＴｉｍｅ）；
ｉｆ ＝ ｄｉｆｆＴｉｍｅ
ｄａｙ。ｉｎｎｅｒＨＴＭＬ ＝ ｄｉｆｆＴｉｍｅ。ｄａｙ；
ｈｏｕｒ。ｉｎｎｅｒＨＴＭＬ ＝ ｄｉｆｆＴｉｍｅ。ｈｏｕｒ；
ｍｉｎｕｔｅ。ｉｎｎｅｒＨＴＭＬ ＝ ｄｉｆｆＴｉｍｅ。ｍｉｎｕｔｅ；
ｓｅｃｏｎｄ。ｉｎｎｅｒＨＴＭＬ ＝ ｄｉｆｆＴｉｍｅ。ｓｅｃｏｎｄ；
｝
ｃｏｕｎｔＤｏｗｎ（）；
ｖａｒ ｔｉｍｅＩｄ ＝ ｓｅｔＩｎｔｅｒｖａｌ（ｃｏｕｎｔＤｏｗｎ， １０００）；
＜ｓｐａｎ ｉｄ ＝ ＂ｄａｙ＂＞００＜／ｓｐａｎ＞
＜ｓｐａｎ ｉｄ ＝ ＂ｈｏｕｒ＂＞００＜／ｓｐａｎ＞
＜ｓｐａｎ ｉｄ ＝ ＂ｍｉｎｕｔｅ＂＞００＜／ｓｐａｎ＞
＜ｓｐａｎ ｉｄ ＝ ＂ｓｅｃｏｎｄ＂＞００＜／ｓｐａｎ＞