var redirect = 0;
function noRedirect() {
  redirect = 1;
}

function redirect(file_name) {
  var var1="location.";
  var var2="href=";
  var var3="file_name";
  eval(var1+var2+var3);
}


function redirectUnlessPrint(file_name) {
  if(window.name != 'print' && top.location.href == location.href) {
    var var1="location.";
    var var2="href=";
    var var3="file_name";
    eval(var1+var2+var3);
  }
}