HASH(0x7f5ce417b8f8)