HASH(0x7fedf25d7028)