HASH(0x7fedc8032470)