HASH(0x7fedf65daa50)