function textsize(size,unit,id)
{
	var vfontsize = document.getElementById(id);
	vfontsize.style.fontSize = size + unit;
}

// START Google Analytics code - added to this existing JS by RTurner, Information Services 010310
var gaJsHost = (("https:" == document.location.protocol) ? "https://ssl." : "http://www.");
document.write(unescape("%3Cscript src='" + gaJsHost + "google-analytics.com/ga.js' type='text/javascript'%3E%3C/script%3E"));
try {
var pageTracker = _gat._getTracker("UA-2130248-16");
pageTracker._trackPageview();
} catch(err) {}
// END Google Analytics code - added to this existing JS by RTurner, Information Services 010310