function tabTop(key)
	{
	  if (document.title.indexOf(key) != -1)
	    {
		     document.getElementById(key).id="current";
		  }
	}
	
function tabLeft(key)
	{
	  if (document.title.indexOf(key) != -1)
	    {
		     document.getElementById(key).className="current";
		  }
	}
	
function writetostatus(input){
    window.status=input;
    return true;
}

function open_new_window(url)
{ 
new_window = window.open(url,'preview','toolbar=0,menubar=0,resizable=1,dependent=1,status=0,scrollbars=0,width=550,height=250,left=50,top=50')
}