<SCRIPT Language="JavaScript">
<!--
if(document.images) {
var imgs = new Array();
imgs[0] = new Image(); imgs[0].src = "/images/gnv_company_over.gif";
imgs[1] = new Image(); imgs[1].src = "/images/gnv_company_out.gif";
imgs[2] = new Image(); imgs[2].src = "/images/gnv_info_over.gif";
imgs[3] = new Image(); imgs[3].src = "/images/gnv_info_out.gif";
imgs[4] = new Image(); imgs[4].src = "/images/gnv_works_over.gif";
imgs[5] = new Image(); imgs[5].src = "/images/gnv_works_out.gif";
imgs[6] = new Image(); imgs[6].src = "/images/gnv_contact_over.gif";
imgs[7] = new Image(); imgs[7].src = "/images/gnv_contact_out.gif";
imgs[8] = new Image(); imgs[8].src = "/images/gnv_access_over.gif";
imgs[9] = new Image(); imgs[9].src = "/images/gnv_access_out.gif";
}
function chgimg(id, imgname) {
if(document.images) {
if(imgs[imgname]) {
document.images[id].src = imgs[imgname].src;
}
else {
document.images[id].src = imgname;
}
}
}
//-->
</SCRIPT>
