if ($i == 0 && $row['result'] < 4) {
$last = $row['solution_id'];
}
if ($top == -1) {
$top = $row['solution_id'];
}
$bottom = $row['solution_id'];
$flag = !is_running(intval($row['contest_id'])) || isset($_SESSION['source_browser']) || $_SESSION['U']->getAut() == "admin" || !strcmp($row['user_id'], $_SESSION['U']->getU_id());
$cnt = 1 - $cnt;
$view_status[$i][0] = $row['solution_id'];
if ($row['contest_id'] > 0) {
$view_status[$i][1] = "<a href='contestrank.php?cid=" . $row['contest_id'] . "&user_id=" . $row['user_id'] . "#" . $row['user_id'] . "'>" . $row['user_id'] . "</a>";
} else {
$view_status[$i][1] = "<a id=\"blue\">" . $row['user_id'] . "</a>";
}
$turnedid = turnid($row['problem_id']);
$view_status[$i][2] = "<div class=center><a href='problem.php?id=" . $row['problem_id'] . "'>" . $turnedid . "</a></div>";
if (intval($row['result']) == 11 && ($row['user_id'] == $_SESSION['U']->getU_id() || isset($_SESSION['source_browser']))) {
$view_status[$i][3] = "<a href='ceinfo.php?sid=" . $row['solution_id'] . "' class='" . $judge_color[$row['result']] . "'>" . $MSG_Compile_Click . "</a>";
} else {
if ((intval($row['result']) == 6 || $row['result'] == 10 || $row['result'] == 13) && ($row['user_id'] == $_SESSION['U']->getU_id() || isset($_SESSION['source_browser']))) {
$view_status[$i][3] = "<a href='reinfo.php?sid=" . $row['solution_id'] . "' class='" . $judge_color[$row['result']] . "'>" . $judge_result[$row['result']] . "</a>";
} else {
if (!$lock || $lock_time > $row['in_date'] || $row['user_id'] == $_SESSION['U']->getU_id()) {
if ($OJ_SIM && $row['sim'] > 80 && $row['sim_s_id'] != $row['s_id']) {
$view_status[$i][3] = "<span class='" . $judge_color[$row['result']] . "'>*" . $judge_result[$row['result']] . "</span>";
if (isset($_SESSION['source_browser'])) {
$view_status[$i][3] .= "<a href=comparesource.php?left=" . $row['sim_s_id'] . "&right=" . $row['solution_id'] . " class='btn btn-info' target=original>" . $row['sim_s_id'] . "(" . $row['sim'] . "%)</a>";
} else {
$view_status[$i][3] .= "<span class='btn btn-info'>" . $row['sim_s_id'] . "</span>";
}
<script src="include/checksource.js">
</script>
<form action="inc/submit.php" method="post"
<?php
if ($OJ_LANG == "cn") {
?>
onsubmit="return checksource(document.getElementById('source').value);"
<?php
}
?>
>
<?php
if (isset($id)) {
$turnedid = turnid($id);
?>
<span style="color:red;">
Problem <b><?php
echo $turnedid;
?>
</b></span><br>
<input type='hidden' value='<?php
echo $id;
?>
' name="id">
<?php
} else {
$PID = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
if ($pid > 25) {
$pid = 25;
