function flipversion(){ //v3.0

            var theString;

            theString = "" + window.location + "";

            theString = theString.replace('/fr/', "/en/");

            window.location=theString;

}
function flipversionen(){ //v3.0

            var theString;

            theString = "" + window.location + "";

            theString = theString.replace('/en/', "/fr/");

            window.location=theString;

}




function gup( name )
{
  name = name.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]");
  var regexS = "[\\?&]"+name+"=([^&#]*)";
  var regex = new RegExp( regexS );
  var results = regex.exec( window.location.href );
  if( results == null )
    return "";
  else
    return results[1];
}