function highlight(strdiv,strdivV ) {
	var test = document.getElementById(strdiv)
	var viso = document.getElementById(strdivV)
	if (test.className == "highlight") {
		test.className="none";
		viso.className="hidden";
	} 
	else {
		test.className="highlight";viso.className="shown";
	}
}