function m1(menuElement) {
	menuElement.style.backgroundColor='#E4D3C5';
	menuElement.style.cursor='hand'; 
	menuElement.style.cursor='pointer'; 	
	menuElement.style.color='#666666';
	menuElement.style.paddingRight = '6px';
}

function m2(menuElement) {
	menuElement.style.backgroundColor=''; 
	menuElement.style.color='';
	menuElement.style.paddingRight = '';	
	menuElement.style.fontWeight = '';	
}

function m3(menuLink) {
	location.href = menuLink;
}

function openWin(theURL,winName,features) {
	window.open(theURL,winName,features);
}

function getRandomNum(Min, Max) {
	var r;
	r = (Math.floor(Math.random() * ((Max+1) - Min)) + Min)
	return r;
}