HASH(0x7f5ce1b67838)