function mymenuOver(id){
	var menu = 'menu'+id;
	if(id != 8)
		document.getElementById(menu).style.background = '#3e812f';
	else
		document.getElementById(menu).style.background = '#3e812f url(images/menu-green-border.jpg) top right no-repeat';
}
function mymenuOut(){
	for(i=1; i<=8; i++) {
		var menu = 'menu'+i;
		document.getElementById(menu).style.background = '';
	}
}