function showdiv(id,vis) {
	(DL?DL[id]:(DA?DA[id]:document.getElementById(id)).style).visibility=vis;
	(DL?DL[id]:(DA?DA[id]:document.getElementById(id)).style).zIndex=((vis==visible)?1000:1);
}
DL=document.layers;
DA=document.all;
if (DL) { visible='show'; hidden='hide'; }
else if (document.getElementById || DA) { visible='visible'; hidden='hidden'; }
else { visible=''; hidden=''; }