How many stars make up Orion's Belt?