function no_vacio(elemento1, elemento2)
{ 
   var elto1=elemento1;
   var elto2=elemento2; 
  
   if (trim(elto1.value).length == 0) {
         elto1.focus();
         return false;
    }     
    else if (trim(elto2.value).length == 0) {
         elto2.focus(); 
         return false;
    }    
    else
    	return true; 

}

function trim( value ) 
{
	var txt=value;
	var re_der = /((\s*\S+)*)\s*/;
	var re_izq = /\s*((\S+\s*)*)/;
	
	txt=txt.replace(re_der, "$1");
	txt=txt.replace(re_izq, "$1");
	return txt;
	
}