function SaveActualFontSize(tamany) {
	var expire = new Date ();
	expire.setTime (expire.getTime() + (6000 * 24 * 3600000));
	expire = expire.toGMTString();
	document.cookie="fontSize="+tamany+"; path=/; expires="+expire;
}

function canvi_tamany(tamany){
	if(!tamany.isNaN){
		if(tamany>0 && tamany<=3) {
			SaveActualFontSize(tamany);
			window.location.reload();
		}
	}
	//document.refresh();	
}