<?php
include_once $_SERVER['DOCUMENT_ROOT']."/ctrl/ctrl.php";
?>