<Tr> <Th> Distributed by </Th> <Td> Walt Disney Home Video </Td> </Tr> <Tr> <Th> Release date </Th> <Td> May 20, 1994 </Td> </Tr> <Tr> <Th> Running time </Th> <Td> 69 minutes </Td> </Tr> <Tr> <Th> Country </Th> <Td> United States </Td> </Tr>

What happens to jafar at the end of aladdin