function updateClock (){
	var currentTime = new Date();
	var currentHours = currentTime.getHours();
	var currentMinutes = currentTime.getMinutes();
	var currentSeconds = currentTime.getSeconds();
	
	currentMinutes = (currentMinutes < 10 ? "0" : "") + currentMinutes;
	currentSeconds = (currentSeconds < 10 ? "0" : "") + currentSeconds;
	currentHours = (currentHours == 0) ? 12 : currentHours;
	
	document.getElementById("header-clock-digital").innerHTML = currentHours + ":" + currentMinutes + ":" + currentSeconds;
}