HASH(0x7fedf37f58e8)