HASH(0x7fedf25e5eb8)