HASH(0x7fedc257dd50)