//Change text size
function SetFont(resize)
{
	fs=readCookie("font-size")
	if (fs != parseInt(fs))
		fs="80";
	var ems=parseInt(fs);
	if (ems<80) ems=80;
	if (ems>140) ems=140;
	if (resize=="small")
		ems=80;
	if (resize=="medium")
		ems=110;
	if (resize=="large")
		ems=140;
	fs=ems+"";
	text = document.getElementById("SSIDM_BODY");
	text.style.fontSize = (ems/100) + "em";
	if (resize=="small")
		eraseCookie("font-size")
	else
		createCookie("font-size", fs, 7);
}