HASH(0x7f5cca77df18)