function onLoad() {
	  // The basics.
	  //
	  // Creates a map and centers it on a location.
	  
	  if (GBrowserIsCompatible()) {
		map = new GMap(document.getElementById("map"));
		map.addControl(new GSmallMapControl());
		map.centerAndZoom(campusCoordinates, zoomFactor);

		// The following logic is needed only if the buttons do not appear
		// in the white box when Firefox is used.

		if (BrowserIsFirefox ())
			addressString += "<br>";

		MakeGMarker (addressString);

	  }
	}

	function BrowserIsFirefox ()
		{
			if (-1 != navigator.userAgent.indexOf("Firefox"))
				return true;
			return false;
		}

	function BrowserIsSafari ()
		{
			if (-1 != navigator.userAgent.indexOf("Safari"))
				return true;
			return false;
		}

	function MakeGMarker (inHTML)
		{
			map.clearOverlays();
			var myNewGMarker = new GMarker (campusCoordinates);
			map.addOverlay (myNewGMarker);
			myNewGMarker.openInfoWindowHtml (inHTML);

			GEvent.addListener (myNewGMarker, 'click', 
				function ()
					{
						myNewGMarker.openInfoWindowHtml (inHTML);	
					}
				);
		}


	function GetDirectionsFromHere(inCtrl)
		{
			window.location.href = "http://maps.google.com/maps?f=li&saddr=" + addressForMapURL + "&daddr=" + inCtrl.value;
			// Fix because Firefox is broken...
			if (BrowserIsFirefox ())
				alert ("You will now be redirected to the directions web page.");
		}

	function GetDirectionsToHere(inCtrl)
		{
			window.location.href = "http://maps.google.com/maps?f=li&daddr=" + addressForMapURL + "&saddr=" + inCtrl.value;
			// Fix because Firefox is broken...
			if (BrowserIsFirefox ())
				alert ("You will now be redirected to the directions web page.");
		}