HASH(0x7f5cde7f68c0)