" ); echo ( "
$filetext
" ); ?>