function switchLanguage() {
	PageIndex=document.language.languageSelection.selectedIndex 
    if (document.language.languageSelection.options[PageIndex].value != "none") 
       { 
	      u = location.href.split('/');
   		  u[3] = document.language.languageSelection.options[PageIndex].value;
          location.href = u.join('/');
		  document.language.languageSelection.selectedIndex = 2;
       } 
}
function setLanguage() {
	u = location.href.split('/');
    if (u[3] == 'en' ) {document.language.languageSelection.selectedIndex = 0;}
	if (u[3] == 'gr' ) {document.language.languageSelection.selectedIndex = 1;}
}