added bit64 and sha512