
	
	var TimeToFade = 1000.0;
	
	function fade(eid)
	{
	  var element = document.getElementById(eid);
	  if(element == null)
	    return;
	   
	  if(element.FadeState == null)
	  {
	    if(element.style.opacity == null 
	        || element.style.opacity == '' 
	        || element.style.opacity == '1')
	    {
	      element.FadeState = 2;
	    }
	    else
	    {
	      element.FadeState = -2;
	    }
	  }
	
	  if(element.FadeState == 1 || element.FadeState == -1)
	  {
	    element.FadeState = element.FadeState == 1 ? -1 : 1;
	    element.FadeTimeLeft = TimeToFade - element.FadeTimeLeft;
	  }
	  else
	  {
	    element.FadeState = element.FadeState == 2 ? -1 : 1;
	    element.FadeTimeLeft = TimeToFade;
	    setTimeout("animateFade(" + new Date().getTime() + ",'" + eid + "')", 33);
	  }  
	}
