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?>