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