HASH(0x7fedb65c3c30)