#	start of u.usa.de.1: Fri May  9 19:24:34 EDT 1986

#	end of u.usa.de.1: Fri May  9 19:24:37 EDT 1986