function getCookie (name) 
  {  
    var arg = name + "=";  
    var alen = arg.length;  
    var clen = document.cookie.length;  
    var i = 0;  
    while (i < clen) 
    {    
      var j = i + alen;    
      if (document.cookie.substring(i, j) == arg)      
        return getCookieVal (j);    
      i = document.cookie.indexOf(" ", i) + 1;    
      if (i == 0) break;   
    }    
    return -1;
  }

  function getCookieVal (offset) 
  {  
    var endstr = document.cookie.indexOf (";", offset);  
    if (endstr == -1)    
      endstr = document.cookie.length;  
    return unescape(document.cookie.substring(offset, endstr));
  }
  function setCookie(NameOfCookie, value, expirehours) 
  { 
    var ExpireDate = new Date (); 
    ExpireDate.setTime(ExpireDate.getTime() + (expirehours * 3600 * 1000)); 
    document.cookie = NameOfCookie + "=" + escape(value) + ((expirehours == null) ? "" : "; expires=" + ExpireDate.toGMTString()) + "; path=/;" ; 
  }
	function setStyleById(i, p, v) 
	{
		var n = document.getElementById(i);
			n.style[p] = v;
	}
  function chngFont(newValue) 
  {
    if(newValue!='') 
    {
 //     setStyleById('nav25','font',newValue);
      document.getElementById('nav25').style['fontFamily'] = newValue;
			
      setCookie('myfont',newValue,3600);
    }
  }
  function chngSize(newValue) 
  {
    if(newValue!='') 
    {
      document.getElementById('nav25').style['fontSize'] = newValue+'pt';
      setCookie('mysize',newValue,3600);
    }
  }
	var myfont='Palatino Linotype';
	if (getCookie('myfont')!='')
	  mffont=getCookie('myfont');
  var fonts = new Array('Palatino Linotype','Arial','Times New Roman','Verdana','Georgia');
  var i;
  document.write('<div style="text-align: right; width: 100%"><form>Change Font <select name=font size=1 onchange="chngFont(this.options[this.selectedIndex].value)">');
  for (i=0;i<fonts.length;i++)
  {
    document.write('<option value="'+fonts[i]+'"');
    if (getCookie('myfont')==fonts[i])
      document.write(' selected');
    document.write('>'+fonts[i]);
  }
  document.write('</select>');
	document.write('Size <select name=size size=1 onchange="chngSize(this.options[this.selectedIndex].value)">');
	for (i=8;i<25;i=i+2)
	{
	  document.write('<option value="'+i+'"');
		if (getCookie('mysize')==i)
	  	document.write(' selected');
		document.write('>'+i+'pt');
	}						
  document.write('</select></div></form>');