HASH(0x7f5cbad2c178)