function setFontSize(size) {
	var body = document.getElementsByTagName('body')[0];
	var percentuale = "11px";
	if (size == 1) percentuale = "12px";
	if (size == 2) percentuale = "13px";
	if (size == 3) percentuale = "14px";
	if (size == 4) percentuale = "15px";
	if (size == 5) percentuale = "16px";
	body.style.fontSize = percentuale;
	createCookie('WMPfontSize',size,365);
}