It takes 687 Earth days for the planet Mars to revolve around the sun once. How many Earth days does it take Mars to revolve around the sun four times