<? 
function boutonNav($int){                                     // $int sert à savoir si on navigue pour : 0 les promotions et les groupes
	print("<script language=\"JavaScript\">\n");		   //					      1 les étudiants
	print("function open(v)\n");
	print("{\n");
	print("  document.form1.choice.value = v;\n");
	print("  document.form1.submit();\n");
	print("}\n");
	print("</script>\n");

      print("  <tr valign=bottom>\n");
      print("    <td align=center>\n");
	  print("	 <table border=1 cellpading=0 cellspacing=0><tr><td>\n");
      print("      <table border=0 cellspacing=1 cellpading=0 align=center bgcolor=\"#FFFFD0\">\n");
      print("        <tr valign=middle align=center>\n");
      print("          <td width=40><a href=\"javascript:open(0);\"><img border=0 src=\"../img/FirstButton.gif\" alt=\"Premier\"></a></td>\n");
      print("          <td width=40><a href=\"javascript:open(1);\"><img border=0 src=\"../img/PreviousButton.gif\" alt=\"Pr&eacute;c&eacute;dent\"></a></td>\n");
      print("          <td width=40><a href=\"javascript:open(2);\"><img border=0 src=\"../img/NextButton.gif\" alt=\"Suivant\"></a></td>\n");
	  print("          <td width=40><a href=\"javascript:open(3);\"><img border=0 src=\"../img/LastButton.gif\" alt=\"Dernier\"></a></td>\n");
      print("          <td width=40>&nbsp;&nbsp;&nbsp;</td>\n");
      print("          <td width=40><a href=\"javascript:open(7);\"><img border=0 src=\"../img/EraseButton.gif\" alt=\"Effacer\"></a></td>\n");
      print("          <td width=40>&nbsp;&nbsp;&nbsp;</td>\n");
      print("          <td width=40><a href=\"javascript:open(4);\"><img border=0 src=\"../img/DeleteButton.gif\" alt=\"Supprimer\"></a></td>\n");
      print("          <td width=40><a href=\"javascript:open(5);\"><img border=0 src=\"../img/NewButton.gif\" alt=\"Nouveau\"></a></td>\n");
      print("          <td width=40><a href=\"javascript:open(6);\"><img border=0 src=\"../img/ModifyButton.gif\" alt=\"Modifier\"></a></td>\n");
      
      if($int==1){
        print("          <td width=40><a href=\"javascript:open(9);\"><img border=0 src=\"../img/changement.gif\" alt=\"Changement de promotion\"></td>\n");
      }
      print("        </tr>\n");
      print("      </table>\n");
      print("    </td></tr></table>\n");
      print("    </td>\n");
      print("  </tr>\n");
    }
?>