function update_time() {
		
		// The current date and time
		var rightnow = new Date();
		
		// Capture the hours as a string, "00" through *23*
		var hours= rightnow.getHours();
		if (hours<10)
			var hourstring = "0" + hours.toString();
		else
			var hourstring = hours.toString();
			
		// Choose either "AM" or "PM" as appropriate
  		var timeOfDay = ( hourstring < 12 ) ? "AM" : "PM";
		
		// Convert the hours component to 12-hour format if needed
		hourstring = ( hourstring > 12 ) ? hourstring - 12 : hourstring;
		
		
		// Convert an hours component of "0" to "12"
  		hourstring = ( hourstring == 0 ) ? 12 : hourstring;
		
		// Capture the minutes as a string, "00" through *59*
  		var minutes= rightnow.getMinutes();
  			if (minutes<10)
			var minutestring = "0" + minutes.toString();
		else
			var minutestring = minutes.toString();
		
		// Capture the seconds as a string, "00" through *59*	
  		var seconds= rightnow.getSeconds();
  		if (seconds<10)
			var secondstring = "0" + seconds.toString();
		else
			var secondstring = seconds.toString();
		
		
		// Put it all together, "00:00:00"
		var timestring = hourstring + ":" +
						minutestring + ":" +
						secondstring + " " +
						timeOfDay;
						
		// Manipulate the DOM, display it to the screen!
		var timeplace = document.getElementById("time").childNodes[0].nodeValue = timestring;
		
		}