eimTimeHeader = function() {
	let d = Date.UTC(2024, 11, 19, 14, 17, 46, 0);
	let ntpTimeObject = new Date(d);

	function pad2(number) { 
	     return (number < 10 ? "0" : "") + number;
	}
	function returnDate(obj) {
		const tmp = obj.toUTCString();
		const tmp2 = tmp.split(" ");
		return tmp2[4];
	}
	
	function updateTime() {
        document.getElementById('national-time').innerHTML = returnDate(ntpTimeObject);
		ntpTimeObject = new Date(ntpTimeObject.getTime() + 1000);
		setTimeout(updateTime, 1000);
	}
    document.getElementById('national-time').innerHTML = returnDate(ntpTimeObject);
	updateTime();
}();