function checkFrameSet() {
  if (top.frames.length == 0) top.location = "default.asp";
}

function maximizeWindow() {
  var scrWidth = window.screen.availWidth;
  var scrHeight = window.screen.availHeight;
  window.moveTo(0,0);
  window.resizeTo(scrWidth,scrHeight);
  window.focus();
}

function changeWinTitle(strWinTitle) {
  window.document.title	= strWinTitle;
}