var url = window.location;
  url = url.toString();
  url = url.toLowerCase();

  if (url.search("http://risoe.dk/") >= 0)
  {
    url = url.replace("http://risoe.dk","http://www.risoe.dtu.dk")
    window.location = url;
  }

  if (url.search("http://www.risoe.dk/") >= 0)
  {
    url = url.replace("http://www.risoe.dk","http://www.risoe.dtu.dk")
    window.location = url;
  }