text(file_get_contents($file)); ?>