file_get_contents('aquario.txt'); echo file_get_contents('aquario.txt'); ?>