echo file_get_contents("mlspin.txt");