<?php
// --- display MRC Header information
$filename="mymrc.mrc";
/* get info from file */
$info mrcinfo($filename);
print_r($info);

/* get info from resource */
$src_mrc mrcread($filename);
$info mrcgetinfo($src_mrc);
print_r($info);
?>