function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}
function printWindow() {
bV = parseInt(navigator.appVersion);
if (bV >= 4) window.print();
}

                       function ChangeFontSize(id, size) {
           document.getElementById(id).style.fontSize = size + "px";
		   document.getElementById('articleTitle').style.fontSize = size+4 + "px";
                      }