0) { $_SESSION['successmsg'] = "Inserted ${command[0]} ($ppl_id) as docent on ${command[1]}/${command[2]} ($grp2vak_id)."; mysql_log("add_doc2grp2vak_success", "insert ($ppl_id, $grp2vak_id) in doc2grp2vak"); } header("Location: beheer.php"); exit; ?>