Aladdin, or, The wonderful lamp

