list_instances($instances) { echo '<button name="t" value="3" type="submit">', printtext("torrent_search_button"), '</button>'; } ?> <?php require_once "misc/header.php"; ?>