HASH(0x7fedf665c670)