// JavaScript Document
var last=false;
var over;

function red(a){
 	document.getElementById(a).style.color='red';
}
function black(a){
	document.getElementById(a).style.color='black';
	
}
function link(link){
	window.location.href=link;	
}
function vis(a){
	if(document.getElementById(a)){
		document.getElementById(a).style.visibility='visible';
		
		}
		if(document.getElementById(last) && last!=a){
			document.getElementById(last).style.visibility='hidden';
		}
		last=a;
	
}
function hid(a){
	document.getElementById(a).style.visibility='hidden';
}