HASH(0x7fedf17913d0)