function pickTOC( someTarget ) {
	theNext = document.theForm.box.value;
	if ( theNext > 0 ) {
		theNext = 'p' + theNext + '.html';
	}else{
		theNext = 'index.html';
	};
	top.window.location=theNext;
};


function cacheNextI( theNext ) {
	if( document.images ){
		document.cacheNextI = new Image;
		document.cacheNextI.src = theNext;
	};
};