if ( typeof global.PageCnt == "undefined")
global.PageCnt = 0;
global.PageCnt += this.numPages;
console.println("The file " + this.path + " has "
console.println("Total so far = " + global.PageCnt);