[hotsaurus] Aladdin