function redirect(url){
	window.location.href = url;
}

var visible = false;

function tooltip() {
	div = document.getElementById("tip1");
	if (div==null) return;
	if (visible == false) {
		div.style.display = "block";
		visible = true;
	}
	else{
		div.style.display = "none";
		visible = false;
	}
}