HASH(0x7f5ca42f9fd8)