:let j=[] | %s/xxxx/\=printf(”%04d”, “”.len(add(j,”)))/g

(adapted from this tip)