function font_resize(action){
	 if (document.getElementById){
		if (action == 'bigger'){
			document.getElementById("resize_text").style.fontSize = '12px';
		}
		if (action == 'smaller'){
			document.getElementById("resize_text").style.fontSize = '10px';
		}
	 } 
}