HASH(0x7fedb00e7cb8)