function initPage()
{
	var f = document.getElementById("font-size");
	if (f)
	{
		var links = f.getElementsByTagName("a");
		for (var i = 0; i < links.length; i++)
		{
			links[i].onclick = function ()
			{
				document.body.style.fontSize = this.className;
				return false;
			}
		}
	}
}

if (window.addEventListener)
	window.addEventListener("load", initPage, false);
else if (window.attachEvent)
	window.attachEvent("onload", initPage);