var state;
	function showhide(id)
	{
		var obj = document.getElementById(id);
		state = obj.style.display;
		if( state == 'none')	state = 'block';
		else					state = 'none';
		obj.style.display = state;
	}


	function highlight_on()
	{
		window.event.srcElement.style.color='#c33829';
		window.event.srcElement.style.background='#ffffff';
		return true;
	}


	function highlight_off()
	{
		window.event.srcElement.style.color='#ffffff';
		window.event.srcElement.style.background='#c33829';
		return true;
	}