HASH(0x7f5ca1ef34c0)