$name"; ?>
Port
Beschreibung
Zustand
$j
"; } ?>
<?php echo "$timerfilecontent"; ?>