HASH(0x7f132de98b70)