function showPlat(vol, page) {
	var pw = top.platwindow;
	var pi = top.platinfo;
	if (vol == null) {
		pw.location = 'blankplat.php?what=volume';
		pi.location = 'platinfo.php';
		return;
	}
	if (page == null) {
		pw.location = 'blankplat.php?what=page';
		pi.location = 'platinfo.php';
		return;
	}

	// page == 'Vol16 Page017.pdf', for example
	// trim '.pdf' from the end because parseInt('020.pdf') == 16 for some reason
	var vpStr = page.substring(0, page.lastIndexOf('.'));
	var vp = vpStr.split(' ');
	
	var realVol = vp[0].substring('Vol'.length);
	var realPage = vp[1].substring('Page'.length);
	
	//alert("turned " + vpStr + " into vol " + realVol + " and page " + realPage);

	gotoVolPage(realVol, realPage);
}

// Zero padding
function pad0(string, newlength) {
  var pad = "";
  var len = newlength-String(string).length;
  var i;
  for (i = 0; i<len; i++) {
    pad += "0";
  }
  return pad+string;
}

function gotoVolPage(vol, page) {
	var infoSrc = 'platinfo.php?volume=' + vol + '&page=' + page;
	top.platinfo.location = infoSrc;
	
	var volPad = pad0(vol, 2);
	var volFolder = 'Volume ' + volPad + ' pdfs';
	var pageFile = 'Vol' + vol + ' Page' + pad0(page, 3) + '.pdf';
	
	var platSrc = "/platpdfs/" + volFolder + "/" + pageFile;
	//alert('setting main window href to ' + platSrc);
	top.platwindow.location = platSrc;
	
}