function tosecure(newloc){
  if (location.pathname=="/")
  {
    var newurl=location.href.substr(0,location.href.length-1)+newloc;
  }
  else
  {
    var pos=location.href.indexOf(location.pathname);
    var newurl=location.href.substr(0,pos) + newloc;
  }
  pos=newurl.indexOf(':');
  newurl='https'+newurl.substr(pos,newurl.length);
  pos=newurl.indexOf('.nl/');
  if (pos>0) 
  {
    newurl = newurl.substr(0,pos) + '.eu/' + newurl.substr(pos+4);
  }
  location=newurl;
}