var defaultColour = '#fff';
	var highlightColour = '#ccc';
	
	/**
	 * Sets the 'id' element's background colour to 'highlightColour'
	*/
	function changeBgColour(id)
	{
		if (document.getElementById) {
			this.document.getElementById(id).style.backgroundColor = highlightColour;
		} else {
			document.all[id].style.backgroundColor = highlightColour;
		}
	}
	
	/**
	 * Sets the 'id' element's background colour to 'defaultColour'
	*/
	function resetBgColour(id)
	{
		if (document.getElementById) {
			this.document.getElementById(id).style.backgroundColor = defaultColour;
		} else {
			document.all[id].style.backgroundColor = defaultColour;
		}
	}