<?php
require_once "./intdisc.php";
?>