function setfontsize(fsize){
	//var par = document.getElementsByTagName("p")[0]; 
		if(fsize=="l"){
			document.body.style.fontSize="95%";
			//par.style.fontSize="95%"; 
		}else if(fsize=="m"){
			document.body.style.fontSize="80%";
		}else if(fsize=="s"){
			document.body.style.fontSize="70%";
	}
}