HASH(0x13d3dc0)