HASH(0x7f5c9dfcc9b0)