HASH(0x7f5ce8128a68)