function checkpageId(){
	var currentpage=location.href;
	var slash='/';
	var currentId=currentpage.substring(currentpage.lastIndexOf(slash) + 1, currentpage.lastIndexOf('.'))
	document.getElementById(currentId).setAttribute('style','font-weight:bold;');
}

function goToPage(url){
	var url=url+"?lang="+getLang();
	location.href=url;
}