How can I change the displayed time on the index page in the 24-hour format?
index.template.php:
			<div id="time" class="floatleft"><i class="fa fa-clock-o"></i>
				', standardTime(time(), '%d. %B %Y,'), '
				<font id="clock">...</font>
				<script>
					refrClock();
					function refrClock()
					{
						var d = new Date(),
							s = d.getSeconds(),
							m = d.getMinutes(),
							h = d.getHours(),
							am_pm;
						if (s < 10)
							s = "0" + s;
						if (m < 10)
							m = "0" + m;
						if (h > 12) {
							h -= 12;
							am_pm = "pm";
						}
						else
							am_pm = "am";
						if (h < 10)
							h = "0" + h;
						document.getElementById("clock").innerHTML = h + ":" + m + ":" + s + am_pm;
						setTimeout("refrClock()", 1000);
					}
				</script>
			</div>