echo file_exists("file.txt");