var isDOM=document.getElementById?1:0;
var isIE=document.all?1:0;

function showWin()
{
	if(isDOM) {document.getElementById("winDisplay").style.display="";}
	else if(isIE){ winDisplay.style.display = "";}
}

function closeWin()
{
	if(isDOM) {document.getElementById("winDisplay").style.display="none";}
	else if(isIE){ winDisplay.style.display = "none";}
}