<!--
function doresize(S) {
    var x = document.getElementsByTagName("span");
    for (var i = 0; i < x.length; i++) {
        var idname = x[i].id;
        if (idname.indexOf("xtext") > -1) {
            //alert(x[i].innerHTML);
            x[i].style.fontSize = S;
        }
    }
}
//-->