window.onerror=null;

// MOUSEOVER COLOUR CHANGER

function mHigh() {
	event.srcElement.style.color = "yellow";
}

function mBack() {
	event.srcElement.style.color = "#c0c0c0";
}

function mHigh1() {
	event.srcElement.style.color = "#c0c0c0";
}
function mBack1() {
	event.srcElement.style.color = "black";
}