".file_get_contents($file).""; } ?>