WMS Presents Aladdin, Jr! (Cast A)