function display_substitution () {
  var jump_target = '/asp/04_campus_life/03/01/non_flash.html';
  if (!window.opener) {
    self.open(jump_target)
  } else if (window.opener.closed) {
    window.open (jump_target); 
    close_window ();
  } else {
    window.opener.location.href = jump_target;
    close_window ();
  }
}

function close_window () {
  window.location.href = '../../dummy.html'; 
}

function close_execution () {
  self.window.close();
}