echo file_get_contents("file.txt");