function nav1on (id) {
	document.findElementById('nav1hover'+id).style = "background-color:#f6f6f6;";
}
function nav1off (id) {
	document.findElementById('nav1hover'+id).style = "background-color:#ffffff;";
}