return false;
		}
		var fileName = f.ocrfile.value;
		if(fileName != ""){
			var ext = fileName.split('.').pop();
			if(ext != 'zip' && ext != 'ZIP'){
				alert("Upload file must be a ZIP file with a .zip extension");
				return false;
			}
		}
		return true;
	}
</script>
<div style="margin:15px;">
	<?php 
$cntTotal = $procManager->getSpecWithImage();
$cntUnproc = $procManager->getSpecWithImage($procStatus);
$cntUnprocNoOcr = $procManager->getSpecNoOcr($procStatus);
if ($procStatus == 'null') {
    $procStatus = 'No Status';
}
?>
	<fieldset style="padding:20px;">
		<legend><b>Specimen Image Statistics</b></legend>
		
		<div><b>Total specimens with images:</b> <?php 
echo $cntTotal;
?>
</div> 
		<div><b>&quot;<?php 
echo $procStatus;