HASH(0x7f5ce0500be8)