HASH(0x7f5c94f7e3e8)