// JavaScript Document	
function buscar_interna(){
	//alert("ok");
  if (!document.formulario_de_busqueda.texto_a_buscar.value){
    alert("Debe insertar el texto a buscar.");
	document.formulario_de_busqueda.texto_a_buscar.focus();
  }
  else{
    document.formulario_de_busqueda.action="buscar.php";
	document.formulario_de_busqueda.submit();}
  }
function presionar_tecla_busqueda(eventObj, obj) {
  var keyCode;
  keyCode=eventObj.keyCode;
  keyCode = Number(keyCode);
  if (keyCode == 13){
    eventObj.keyCode = 0;
	buscar_interna();
  }
}