HASH(0x7fee1e57d028)