var nref;
var oref=window.location.href;
function de2en() {
 if (oref.search(/de/)>-1)
  nref=oref.replace(/de/,"en");
 else
  nref="index.php";
 window.location.href=nref;
}
function en2de() {
 if (oref.search(/en/)>-1)
  nref=oref.replace(/en/,"de");
 else
  nref="index.php";
 window.location.href=nref;
}