// JavaScript Document

function switch_language(lang) {

 loc=document.location.toString();

 found=false;

 directory=loc.split("/fr/");

 if (directory.length==2 && found==false) {found=true}

 if (found==false) {

  directory=loc.split("/nl/");

  if (directory.length==2 && found==false) {found=true}

 }

 if (found==false) {

  directory=loc.split("/en/");

  if (directory.length==2 && found==false) {found=true}

 }

 path=directory.join("/"+lang+"/");

 document.location.href=path;

}