
<!-- Dummy comment to hide code from non-JavaScript browsers.
if (document.images) {
navigation_b1_off = new Image(); navigation_b1_off.src = "images/buttons/navigation_b1.gif"
navigation_b1_over = new Image(); navigation_b1_over.src = "images/buttons/navigation_b1_over.gif"
navigation_b2_off = new Image(); navigation_b2_off.src = "images/buttons/navigation_b2.gif"
navigation_b2_over = new Image(); navigation_b2_over.src = "images/buttons/navigation_b2_over.gif"
navigation_b3_off = new Image(); navigation_b3_off.src = "images/buttons/navigation_b3.gif"
navigation_b3_over = new Image(); navigation_b3_over.src = "images/buttons/navigation_b3_over.gif"
navigation_b4_off = new Image(); navigation_b4_off.src = "images/buttons/navigation_b4.gif"
navigation_b4_over = new Image(); navigation_b4_over.src = "images/buttons/navigation_b4_over.gif"
navigation_b5_off = new Image(); navigation_b5_off.src = "images/buttons/navigation_b5.gif"
navigation_b5_over = new Image(); navigation_b5_over.src = "images/buttons/navigation_b5_over.gif"
}

function turn_off(ImageName) {
	if (document.images != null) {
		document[ImageName].src = eval(ImageName + "_off.src");
	}
}

function turn_over(ImageName) {
	if (document.images != null) {
		document[ImageName].src = eval(ImageName + "_over.src");
	}
}
// End of dummy comment -->