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