if (document.images) 
	{
	button0 = new Image()
	button0.src = "images/btn_home_off.gif"
	button0over = new Image()
	button0over.src = "images/btn_home_on.gif"

	button1 = new Image()
	button1.src = "images/btn_port_off.gif"
	button1over = new Image()
	button1over.src = "images/btn_port_on.gif"

	button2 = new Image()
	button2.src = "images/btn_installations_off.gif"
	button2over = new Image()
	button2over.src = "images/btn_installations_on.gif"

       button3 = new Image()
	button3.src = "images/btn_about_off.gif"
	button3over = new Image()
	button3over.src = "images/btn_about_on.gif"

	button4 = new Image()
	button4.src = "images/btn_process_off.gif"
	button4over = new Image()
	button4over.src = "images/btn_process_on.gif"

	button5 = new Image()
	button5.src = "images/btn_contact_off.gif"
	button5over = new Image()
	button5over.src = "images/btn_contact_on.gif"

        button6 = new Image()
	button6.src = "images/btn_faq_off.gif"
	button6over = new Image()
	button6over.src = "images/btn_faq_on.gif"

        button7 = new Image()
	button7.src = "images/btn_smaller_off.gif"
	button7over = new Image()
	button7over.src = "images/btn_smaller_on.gif"


	}
function switchimage(string,i) 
	{
	if (document.images) eval("document.button" + i + ".src = " + string) 
	}
// -->