function SetLang ( Lang )
{
  	document.formLang.SetLang.value = Lang;
  	document.formLang.submit();
}

function doReload()
{
	window.location.reload ( true );
}

function WinClose ()
{
 	window.opener.doReload();
 	window.close();
}

function PrintPage ()
{
 if (typeof(window.print) != 'undefined')
 {
     window.print();
 }
}