function printpage(){
	window.print();
}

// Ouvre une fenêtre popup.. sert principalement pour le dictionnaire
function openpopup(fichier){
win=window.open(fichier, "", "width=100, height=100%, ")
}

function jumpMenu(targ,selObj,restore){ //v3.0
  eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
  if (restore) selObj.selectedIndex=0;
  }