Leggere un semplice file txt in una textarea

[emilianocimino]

<?php
    $file = "giorni.txt";
    $document = file_get_contents($file);?>
     <textarea><?php echo $document;?></textarea>

Grazie ancora per la risposta, ma la mia textarea si chiama "agenda".
Come potrei visualizzare il documento il quella textarea ?