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