HASH(0x1039daed8)