HASH(0x7fedd65c7678)