/*
 * These classes allow indexing of page numbers and "go to page" functionality.
 */
function PageIndexEntry( number, linkAddress ) {
	this.pagenum = number;
	this.addr = linkAddress;
}

PageIndexEntry.prototype.pageEquals = function( thisPageEntry, pageNumber ) {
	if ( thisPageEntry.pagenum == pageNumber )
		return true;
	else
		return false;
}

/*
var pageList = [ new PageIndexEntry( "ii", "frontmatter.htm#pii" ),
			new PageIndexEntry( "11", "bodymatter-level1-52.htm#p011" ),
                        new PageIndexEntry( "12", "bodymatter-level2-70.htm#p012" )
                      ];
*/