QUESTION:
How big is Mars in diameter?

ANSWER from Marc Siegel on November 20, 1996:
The diameter of Mars is 6787 km.