<li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
<li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
<li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>
<li><a href="showquery.php?query=<? echo $query_auto; ?>">Auto performances</a></li>
<li><a href="showquery.php?query=<? echo $query_csc; ?>">Global performances (bytecode)</a></li>
<li><a href="showquery.php?query=<? echo $query_csc_opt; ?>">Global performances (nativecode)</a></li>