HASH(0x7fedf25d0d28)