function on(id) {
	document.getElementById(id).className =id+'-x';
}

function off(id) {
	document.getElementById(id).className ='';
}

function clicked(a) {
	window.location = a;
}