What colors were available for the 1957 Beetle?

Sedan: black, agave, horizon blue, polar silver, coral red, prairie beige, diamond green. Convertible: black, iris blue, bamboo, inca red, shetland grey, pearl blue, sepia silver, almond green. Standard: medium blue, jupiter grey

Thanks for the quick response. I recently purchased a 1957 VW with 35,450 original miles, however I thought it had been painted a different color. Thanks to your research I find that the horizon blue was the factory color.