defbtn=-1;
function init(i) {
  defbtn=i;
}
function msover(i) {
  if (document.images) {
    document.images["p"+i].src="img/puce_h.gif";
  }
}
function msout(i) {
  if ((document.images) && (i!=defbtn)) {
    document.images["p"+i].src="img/puce_l.gif";
  }
}
