I find it hard to believe that someone figured out Hal's password. Unless Hal left it to a family member, I am guessing an admin here accessed the account and changed the password.
you truly underastamate the power of a Videocard password cracker and MD5