parent.main.location.href=parent.main.location.href;'; } // Leerzeile $row=''; if(!isset($_POST[dbindex])) { $dbindex=0; } else { $dbindex=$_POST[dbindex]; $db_selected_index=$dbindex; SelectDB($dbindex); @WriteParams(); echo ''; } if($msg!="") { ?>

Version : '.$dbname_a[$i].'\n'; } ?>

.html" target="main">