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 null;
}

function setCookie (name, value) {  
	var argv = setCookie.arguments;  
	var argc = setCookie.arguments.length;  
	var today = new Date();
	var expiry = new Date(today.getTime() + 7 * 24 * 60 * 60 * 1000);
	document.cookie = name + "=" + escape (value) + "; expires=" + expiry.toGMTString() + ";path=/";
}

function getCookieVal(offset) {
	var endstr = document.cookie.indexOf (";", offset);
	if (endstr == -1) endstr = document.cookie.length;
	return unescape(document.cookie.substring(offset, endstr));
}

function selectStyleSheet() {
   var font=getCookie('font');
   if (font!=null && font!="default") {
     document.write('<link rel="stylesheet" type="text/css" media="screen" href="/font'+font+'.css">');
   }
}

function setColour(stylesheet) {
   setCookie("display",stylesheet);
   document.location.reload();
}

function setFont(size) {
   setCookie("font",size);
   document.location.reload();  
}

function printOptions() {
document.write('<p>Text size: ');
document.write('<a href="javascript:setFont(\'1\')">Smaller</a> | '); 
document.write('<a href="javascript:setFont(\'default\')">Normal</a> | ');
document.write('<a href="javascript:setFont(\'2\')">Larger</a>');
}

function goURL(cell) {
  if (cell.childNodes) {
    if (cell.childNodes[0].nodeName=="A") {
      document.location=cell.childNodes[0];
    } else {
      document.location=cell.childNodes[1];
    }
  }
}