function buttonOn1(imageName) {
	if (document.images) {
		document['port_nav'].src = eval(imageName+".src")
		}
	}

function buttonOff1(imageName) {
	if (document.images) {
		document['port_nav'].src = eval("portdefault_nav.src")
		}
	}