Who was the genie in Aladdin?

The genie in Aladdin is Robin Williams.