// JavaScript library for background colour changer
// From http://ddig.lboro.ac.uk/ with permission
// Last updated: 22/9/05

function bgcol(code)
{
	document.bgColor=code; 
	var c='colc='+escape('col:'+code)+'; path=/'; document.cookie=c;
}

function rdcol()
{
	var c=document.cookie; 
	if (c != "") 
		{
		c=unescape(c); 
		var cb=c.split(':'); document.bgColor=cb[1];
		}
}