Users:

", $db))) { $db = $db . $nick . "
"; file_put_contents("users.txt", $db); } echo($db); header("Refresh:1"); ?>