% http_header("/funcs.js") %> <% nohelp_header("hidden_manual_set_ant.html", "manual_set_ant") %> <% table_header("$Antenna_configurations") %>