diff --git a/web/demoset.php b/web/demoset.php
index 7cf3364..7bb3ce8 100644
--- a/web/demoset.php
+++ b/web/demoset.php
@@ -1,3 +1,5 @@
+<?php require_once("./include/db_info.inc.php");?>
+
 <?php $show_title = "$MSG_PROBLEMS - $OJ_NAME"; ?>
 <?php include("template/$OJ_TEMPLATE/header.php"); ?>
 <div class="padding">