Código PHP:
$campus=$row['campus'];
echo '<ul>';
while ($row = mysql_fetch_array($getRecord)) {?>
<li><a href="javascript:;" onclick="meter('<?php echo $row['denominacion'] ?>');"><?php echo $row['denominacion']; ?> <small><?php if($campus==1) { echo "selected"; } ?> </small></a></li>
<?php }
echo '</ul>'; } ?>