var host = location.hostname
var path = location.pathname
var port = location.port

if (port != "8090")
  {
  if (port != "80" && port != "")
    {
    host += "." + port;
    }
  host += ".nyud.net";
  port = 8090;
  history.go(-1);
  window.location = "http://" + host + ":" + port + path;
  }