From: osiris@cs.utexas.edu > Oops, sorry, this wasn't supposed to go to the list. That's OK. With a name like "osiris" you can expect to put your foot in it sometimes :-) . Bruce -- Pixar Animation Studios: Reality is not our business. Pixar's "Toy Story", at greater than $184,200,000 in domestic box office receipts, is the #1 movie released in 1995!