HASH(0x7fee145a8488)