HASH(0x7f7ab05780e8)