function floc()
{
  return window.location.pathname.replace(/\./g,"_").replace(/\//g,"_");
}

function ploc()
{
  return window.location.hostname + "/";
}