// JavaScript Document


		document.write('<LINK rel="stylesheet" type="text/css" media="screen" href="../styles/stylesheet.css">');
		document.write('<LINK rel="stylesheet" type="text/css" media="print" href="../styles/stylesheet_print.css">');
		document.write('<script type="text/javascript" src="../js/jump.js" language="javascript"></script>');

    var langURL = window.location.href.replace(/\/english\//gi, "\/francais\/");
    function SwitchLanguage(){
    	self.setTimeout('window.location.href = langURL;', 1);
    }
    
    var pfURL = window.location.href.replace(/\/english\//gi, "\/english\/print\/");
    function ShowPF(){
    	self.setTimeout('window.location.href = pfURL;', 1);
    }

    var langURL1 = window.location.href.replace(/\/francais\//gi, "\/english\/");
    function SwitchLanguage1(){
    	self.setTimeout('window.location.href = langURL1;', 1);
    }
    
    var pfURL1 = window.location.href.replace(/\/francais\//gi, "\/francais\/print\/");
    function ShowPF1(){
    	self.setTimeout('window.location.href = pfURL1;', 1);
}