HASH(0x7f5cfc58d4b8)