<!--
function focusWindow ()
{
 if (isJavaScript12)
  if (isDOM)
   window.focus();
}
//-->