function doMouseovermenu(x,bg,tx) {
	x.style.backgroundColor = bg;
	x.style.color = tx;
}
function doMouseoutmenu(x,bg,tx) {
	x.style.backgroundColor = bg;
	x.style.color = tx;
}
function doMouseovermainmenu(x,bg,tx) {
	x.style.backgroundColor = bg;
	x.style.color = tx;
}
function doMouseoutmainmenu(x,bg,tx) {
	x.style.backgroundColor = bg;
	x.style.color = tx;
}