// Document re-location file. IP number is written automatically.
// "port" is transferred to this file as a value in parenthesis 
// from each HTML page as:
//
// <a href="javascript:address('8080/newpage.htm')">New Page</a>

// The <head> section of each HTML page contains:
//
// <script src="[path/]sample.js" type="text/javascript"></script>
//
// where [path/] is the path of this file relative to the HTML file and
// sample.js is the name of this file.
 
function address(port) {
  IP = "http://{IP}";
  fulladdr = IP + ':' + port;
  document.location = fulladdr;
}
