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

function num_random(bottom,top){
	numPosibilidades = top - bottom
	rand = Math.random() * numPosibilidades
	rand = Math.round(rand)
	return parseInt(bottom) + rand
} 

function printSelected(id)
{
  var obj = document.getElementById(id);
  var wPrint = window.open(' ', 'windowPrint');
  wPrint.document.write( obj.innerHTML );
  wPrint.document.close();
  wPrint.print( );
  wPrint.close();
}