<?php 
      if (session_status() == PHP_SESSION_NONE) {
         ini_set('session.cache_expire', 60*12);
	 session_start();
      }
      require '../webfiles/checkuser.php';
      include("announcements.php");
?>