function sizeUp(number){
	document.fontForm.fontsize.value = number;
	document.fontForm.submit();
}

function setFontSize(font_size){
	try{
		var div_content = document.getElementById("fontDiv");	
		div_content.className = 'font_size' + font_size;
		
	}catch(er){
		//do nothing
	}
}