function div_toggle(trip_name)
{
	trip = document.getElementById(trip_name);
	if ( trip.style.display == "none" )
		trip.style.display = "block";
	else
		trip.style.display = "none";
}