buffer(file_get_contents($file)) . "\n"; } ?>