// JavaScript Document

<SCRIPT LANGUAGE="JavaScript">

<!-- Begin

image1 = new Image();
image1.src = "media/images/nav_home_hv.gif";

image2 = new Image();
image2.src = "media/images/nav_microscopy_hv.gif";

image3 = new Image();
image3.src = "media/images/nav_alkalizing_hv.gif";

image4 = new Image();
image4.src = "media/images/nav_forms_hv.gif";

image5 = new Image();
image5.src = "media/images/nav_products_hv.gif";

image6 = new Image();
image6.src = "media/images/nav_contact_hv.gif";

// End -->
</script>