HASH(0x7f5cda511e00)