HASH(0x7f5ceded24e0)