HASH(0x7f5ca45ddcd8)