function highlight_on(div)
	{
		document.getElementById(div).style.backgroundColor = '#ffffff';
		document.getElementById(div).style.cursor = 'pointer';
	}
	
	function highlight_off(div)
	{
		document.getElementById(div).style.backgroundColor = '#EAEAEA';
	}
	
	function go_to_page(id)
	{
		page = '?item=' + id;
		document.location = page;
	}