\n";
if (array_key_exists('submit', $_POST)) { // submit button pressed
submit_employee($db);
get_employees($db);
} else if ($_POST['update']) { // update button pressed
get_employees($db);
} else if ($_POST['deralph']) { // de_ralph button pressed
de_ralph($db);
get_employees($db);
} else { // no button pressed; initial arrival
get_employees($db);
}
printform(); // done in all cases
print "