$content=htmlspecialchars(file_get_contents($f));