include("setup.php") ?> include("discoInc.php") ?>