HASH(0x7f5cfbc63e40)