HASH(0x7fee2f7f30d8)