function element( elementId )
	{
	   if ( document.getElementById )
	   {
	      return document.getElementById( elementId )
	   }
	   else if ( document.all )
	   {
	      return document.all[elementId]
	   }
	   else if ( document.layers ) 
	   {
	      return document[ elementId ]
	   }
	   else
	   {
	      //alert( "no element: " + elementId )
	   }
	}
		
function postLoad() {
	element('loading').className="hidden";
}

function preLoad() {
	img1 = new Image();
	img1.src = "loading.gif";
}