\n";
if ($_POST['submit_ssn']) { // came from form1
$ssn=$_POST['ssn'];
printform2($db, $ssn);
} else if ($_POST['update']) { // came from form2
$ssn=$_POST['ssn'];
print "updating employee with SSN=$ssn";
update_employee($db, $ssn);
printform1($db);
} else { // first arrival
printform1($db);
}
print "