Hocus Pocus came out 25 years ago today!