//*********************************************************
//* Global Variables:                                     *
//*********************************************************
var $MAIN_WINDOW_NAME = 'main32';
var $MAIN_32_PROG = '/32/index.php';
var $HTTP_PRE = 'http://';
var $HTTPS_PRE = 'https://';

//*********************************************************
//* Functions:                                            *
//*********************************************************
function jumpLoad()
{
  if (window.self.name != $MAIN_WINDOW_NAME) {
    $host = document.location.hostname;
    $me = window.self.location.pathname;
    $port = document.location.port;
    if ($port == 80) {
      $port = '';
    } else {
      $port = ':' + $port;
    }
    $jump = $HTTP_PRE + $host + $port + $MAIN_32_PROG + "?jump=" +$me;
    document.location = $jump;
  }
}