function cor(obj, cor, n, cor2) { //v1.1 by Project VII
	obj.style.backgroundColor=cor;
	document.getElementById("m"+n).style.backgroundColor=cor2;
}
function cor2(ob, cr) {
	ob.style.backgroundColor=cr;
}
function mlink(xlink){
	window.location=xlink;
}