HASH(0x7fbf4c542d80)