HASH(0x7f5cda90b1a8)