HASH(0x7fedc2674ee8)