// JavaScript Document

var visibleElement; //undefined

function hide(arg)
{
var targetElement = document.getElementById(arg);

if(!visibleElement)
visibleElement = document.getElementById("displaytext");

if(targetElement != visibleElement)
{
visibleElement.style.display = "none";
targetElement.style.display = "";
visibleElement = targetElement;
}	
}