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