faunt@hplabs.UUCP (06/23/83)
We need some suggestions for the name of our newest DEC20. The other two are named HULK and THOR, and we would like a female comic-book hero name for the third. We also have HP3000's named FAITH, HOPE, BATMAN, and CRIME, as well as Vaxen named MERCURY, VENUS, MARS, URANUS, and I hope, JUPITER, although the last may end up being named PLUTO. Reply to ...!hplabs!faunt faunt.hplabs@udel-relay Thanks