HASH(0x7fedf2569c80)