function colour_cell(celltocolour,colour) { 
	if (colour=="on") { colour="#ffffff"; text="#000000" } 
	else { colour="#000000"; text="#C0C0C0" } 	
	document.getElementById(celltocolour).style.backgroundColor=colour;
	document.getElementById(celltocolour).style.color=text;
}

function change_lang(lang) { 
	a=document.location.href;
	a=a.replace(/\?.*/,"");
	document.location.href=a + "?lang=" + lang;
}