
<!-- //start hiding for older browsers
var normal, evisibility, fill, the_display;
function window_links()
    {

    fill = document.getElementById('fill_window');
    normal = document.getElementById('normal_window');
   the_display = normal.style.display;
	if (window!= top)
	   {
            fill.style.display = 'block';
            fill.style.visibility = 'visible';
	    normal.style.display = 'none';
            normal.style.visibility = 'hidden';
            }            
        else
         
	   {
            normal.style.display = 'block';
            normal.style.visibility = 'visible';
            fill.style.display = 'none';
            fill.style.visibility = 'hidden';

            }
	  }
     
-->