window.onload = function() {	try {$('pageControls').style.display = 'block';}	catch (e) {};	    elementsWithResizableFont = new Array();    elementsWithResizableFont[0] = document.getElementById('content');    for (i = 0; i < elementsWithResizableFont.length; i++) {        c = getCookie('fontSize');        if (c) elementsWithResizableFont[i].style.fontSize = c[0].match(/\d+/) + 'px';    }        try { doResize(); }    catch (e) {};}function setCookie(key, value, validFor, path) {	expires = new Date();	expires.setTime(expires.getTime() + (((validFor) ? validFor : 1) * 24 * 60 * 60 * 1000));	document.cookie = key + "=" + value + "; expires=" + expires.toGMTString() + "; path=" + ((path) ? path : '/');}function getCookie(key) {    re = new RegExp(key + '=.+(?:;|$)');    return document.cookie.match(re);}function makeTheFont(what) {    for (i = 0; i < elementsWithResizableFont.length; i++) {        currentSize = parseInt((elementsWithResizableFont[i].style.fontSize) ? elementsWithResizableFont[i].style.fontSize.replace(/\D+/, '') : 15);        if (what == 'bigger') {            newSize = (currentSize + 2) + "px";        } else if (what == 'smaller') {            newSize = (currentSize - 2) + "px";        } else {            newSize = "15px";        }                elementsWithResizableFont[i].style.fontSize = newSize;                if (newSize != '15px') {            setCookie('fontSize', newSize, 10);        } else {            setCookie('fontSize', '', -1);        }    }        document.getElementById("navigationBar").style.height = 'auto';    document.getElementById("content").style.height = 'auto';    doResize();}function doResize() {	var csize = document.getElementById("main").offsetHeight;	document.getElementById("navigationBar").style.height = csize+4 + "px";	document.getElementById("content").style.height = csize-7 + "px";}