function togglefont(size)
{
		location.href = fontstr + '&font=' +size
}
function internal_togglefont(size)
{
		location.href = fontstr + '&font=' +size + '&page=' + thepage
}
function setgalimg(img,cur_num){
	gal_cur_img=cur_num;
	document.getElementById('cur_img').src = 'data/images/Main_image_gallery/' + img;

}
function check(obj,titlename){

	if (document.getElementById(obj).checked==true){
		document.getElementById(titlename).style.display="block";
	}else{
		document.getElementById(titlename).style.display="none";
	}

}