HASH(0x7fedb1a6db30)