function setclass(tdname,tdclass) {
	document.getElementById(tdname).className=tdclass;
}
function write_control( text ) {document.write(text);}