function getObj(nm) {
	if (document.getElementById) {
		return document.getElementById(nm);
	} else if (document.all) {
		return document.all[nm];
	} else {
		return eval("document." + nm);
	}
}

function changebox_bgcol(boxid, newcolour) {
	getObj(boxid).style.backgroundColor = newcolour;
}