HASH(0x7f5cda9b8ef8)