function showpage(page)
{
  var url;
  if ($GLOBALS['homedir'])
  {
    if (page == "en/fotos/mps_and_sock.html")
    {
      page = "en/tips/mps/d1.html";
    }
    url = $GLOBALS['homedir'] + "/" + page;
  }
  else
  {
    url = page;
  }
  if (arguments.length > 1)
  {
    url += "?" + arguments[1];
  }
  window.location.href = url;
}
function openlink(text)
{
  window.open(text,"_blank");
}