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){
	SaveActualFontSize(tamany);
	window.location.reload();
	//document.refresh();	
}