Launch Programs
\n"; echo "1. Choose Program: "; launchdropdown ($dbsocket, "launchid",0,1,1,1,$launchid,0); formsubmit("Add",3,1,0); formsubmit("Modify",3,1,0); formsubmit("Delete",3,1,0); closeform(); $endtime=time(); echo "
Page loaded in " . ($endtime - $begintime) . " seconds.
\n"; do_footer(); dbdisconnect($sec_dbsocket); dbdisconnect($dbsocket); php?>