<?php if (isset($_GET['type']) && $_GET['type'] == 'rating') { $config = array('page_len' => 100); } else { become404Page(); } ?> <?php echoUOJPageHeader('比赛排行榜') ?> <?php echoRanklist($config) ?> <?php echoUOJPageFooter() ?>