function hideDIV(divId){
	document.getElementById(divId).style.visibility = "hidden";
}

function showDIV(divId){
	document.getElementById(divId).style.visibility = "visible";
}
function setDIVHeight(nr)
{
	if (document.layers)
	{
		document.layers[nr].height = document.body.clientHeight+'px';
	}
	else if (document.all)
	{
		document.all[nr].style.height = document.body.clientHeight+'px';
	}
	else if (document.getElementById)
	{
		document.getElementById(nr).style.height = document.body.clientHeight+'px';
	}
}