HASH(0x7f5cd40ccf80)