HASH(0x7fedf2641440)