function selectLang(lang) {
document.getElementById(lang).style.fontWeight="bold";
}
function loadLang(lang) {
var date = new Date();
date.setDate(date.getDate()+1);
document.cookie="lang="+escape(lang)+";expires="+date.toUTCString()+";path=/";
window.location.reload();
}