'; ?> "; $gui_id = $_SESSION["mb_user_gui"]; echo ""; echo"WMS hinzuladen
"; if (isset($xml_file)){ echo""; }else{ echo""; } echo""; echo ""; #echo "reload page"; ?>