Aladdin is a restaurant.