function viz(name)
{
	document.getElementById(name).style.visibility = 'visible';
}

function hid(name)
{
	document.getElementById(name).style.visibility = 'hidden';
}

function onLoad(){}