// JavaScript Document
function log (message) {
 if (typeof log.t == "undefined")
 	log.t = document.getElementById("t");
 log.t.value = log.t.value + message + "\n";
}

function show(id, event){
	document.getElementById(id).style.visibility = 'visible';
}

function hide(id, event){
	var toElement = event.relatedTarget || event.toElement || false;
	var toSubCheck = toElement.id.substr(0,3);
	if(toSubCheck != 'sub')
	{
		document.getElementById(id).style.visibility = 'hidden';
	}
}