adding value-number to bit-vector position hashing