HASH(0x7fedd458fdb8)