<!--
function setFontSize(size) {
var fontStyle = null;

if (size == "1") fontStyle = "70%";
if (size == "2") fontStyle = "80%";
if (size == "3") fontStyle = "90%";
if (size == "4") fontStyle = "100%";
if (size == "5") fontStyle = "110%";

if (fontStyle) document.getElementsByTagName("body")[0].style.fontSize = fontStyle;
}

window.onload = function() {
size = 3;
setFontSize(size);
}
// -->