HASH(0x7fedb455f6e8)