HASH(0x7f5ce0ffeb58)