HASH(0x7f5ce831afc8)