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