//functions specific to /admins/ip-tools.php

function ResetIP() {
  window.location.replace("ip-tools.php");
  }

function IPsearchReset() {
  window.location.replace("ip-tools.php?tool=search");
  }
  
function IPupdateReset() {
  window.location.replace("ip-tools.php?tool=update");
  }
  
function IPviewReset() {
  window.location.replace("ip-tools.php?tool=view");
  }
  
function RedirectIP() {
  //var gitrdone = "<? $_GET['tool'] ?>";
  //var root = "ip-tools.php";
  //var destination = root + gitrdone;
  window.location.replace("ip-tools.php<? $_GET['tool'] ?>");
  }
  
//usage example
//function RedirectIP($_GET['tool']);