function LoadPage()
{
	window.focus();
	
}

function MaybeCloseWindow()
{
  if(locked == 0)
  {
  	window.close();
  }
}

function LockWindow()
{
	
	
	if(locked)
	{
		window.close();
	} else {
		document.title = "(LOCKED) " + orig_title;
		locked=1;
	}
}