// JavaScript Document

function over(a){
	document.getElementById(a).className='menuover';
	};
function out(b){
	document.getElementById(b).className='menu';
	
	};