Per prima cosa sostituirei switch($ctrl) con switch($_GET['ctrl'])