var NavSelected

if (document.images) {

	navimage0 = new Image
	navimage0on = new Image
	navimage1 = new Image
	navimage1on = new Image
	navimage2 = new Image
	navimage2on = new Image
	navimage3 = new Image
	navimage3on = new Image
	navimage4 = new Image
	navimage4on = new Image
	navimage5 = new Image
	navimage5on = new Image
	
	navimage0.src = 'images/navbutton-home.gif'
	navimage0on.src = 'images/navbutton-home-on.gif'
	navimage1.src = 'images/navbutton-homeent.gif'
	navimage1on.src = 'images/navbutton-homeent-on.gif'
	navimage2.src = 'images/navbutton-international.gif'
	navimage2on.src = 'images/navbutton-international-on.gif'
	navimage3.src = 'images/navbutton-production.gif'
	navimage3on.src = 'images/navbutton-production-on.gif'
	navimage4.src = 'images/navbutton-news.gif'
	navimage4on.src = 'images/navbutton-news-on.gif'
	navimage5.src = 'images/navbutton-companyinfo.gif'
	navimage5on.src = 'images/navbutton-companyinfo-on.gif'
	
}

function navOn(n) {
	eval("document.nav" + n + ".src=navimage" + n + "on.src"  )
}
function navOff(n) {
	if(n != NavSelected) {
		eval("document.nav" + n + ".src=navimage" + n + ".src"  )
	}
}

function setNav(n){
	// document.nav0.src=navimage0on.src
	NavSelected = n
	eval("document.nav" + n + ".src=navimage" + n + "on.src"  )
}