function toggleVis(id){
	var d = document.getElementById(id);
	
	if (d.style.visibility == 'visible')
	{
		d.style.visibility = 'hidden';
	}
	else
	{
		d.style.visibility = 'visible';
	}
}
function doNothing(result){
}