function getLanguage (directorylevel){
if(document.cookie.indexOf('language=0')>=0) 
 document.write('<style type="text/css" media="all">@import url('+ directorylevel +'01.css);</style>\n<style type="text/css" media="print">@import url('+ directorylevel +'printstyle.css);</style>\n');
else if (document.cookie.indexOf('language=1')>=0)
 document.write('<style type="text/css" media="all">@import url('+ directorylevel +'02.css);</style>\n<style type="text/css" media="print">@import url('+ directorylevel +'printstyle.css);</style>\n');
else if (document.cookie.indexOf('language=2')>=0)
 document.write('<style type="text/css" media="all">@import url('+ directorylevel +'03.css);</style>\n<style type="text/css" media="print">@import url('+ directorylevel +'printstyle.css);</style>\n');
else
 setLanguage(0);
}

function setLanguage (newlanguage){
 var expdate = new Date();
 expdate.setTime(expdate.getTime() + (1000*3600*24*365));
 document.cookie = 'language=' + newlanguage + '; expires=' + expdate.toGMTString() + '; path=/';
 self.location = self.location;
}