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