<!--
function FontSize(size) {
     var el = document.getElementById('wrapper');
     el.style.fontSize =size;
}

var w = '';
function showWindow(page)
{

  if ((w.location) && (!w.closed)) 
  {
     w.location.href = page;
     w.focus(); 
  }
  else
     w = window.open(page, '',"width=300,height=500");
 }
  
  -->