var defaultFontSizeKey=3;var currentFontSize=defaultFontSizeKey;function resetFontSize(target){currentFontSize=defaultFontSizeKey;changeFontSize(target,0)}function changeFontSize(target,changeValue){var sizes=new Array('xx-small','x-small','small','medium','large','x-large','xx-large');currentFontSize+=changeValue;if(currentFontSize<0)currentFontSize=0;if(currentFontSize>6)currentFontSize=6;var object=(document.getElementById)?document.getElementById(target):document.all(target);object.style.fontSize=sizes[currentFontSize]}