Change visits number

Look at this thread: http://ww.wp.xz.cn/support/topic/a-way-for-change-counter-value.
If using v2.9 its on line 169:
$tothitsgbr = sprintf("%06d", $tothitsgbr -1000);

grtz, Jack