function setCookie(NameOfCookie, value, expiredays)
		{
		var ExpireDate = new Date ();
		ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));
		 
		document.cookie = NameOfCookie + "=" + escape(value) + ((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
		}
function bgChange() {
var cur=Math.floor(Math.random()*4);
document.getElementById("stilecolori").href="css/colore" + cur + ".css";
}