<!--
	/* Function that displays status bar messages. */
	function dm(msgStr)
	{
	    window.status = msgStr;
	}

	function change_image(image_id, image_new_src)
	{
		document.getElementById(image_id).src = 'images/' + image_new_src;
	}
// -->