HASH(0x7f5ce053b6c0)