Cita:  alert(document.getElementById("mi_id").nodeName);
    Ese script lo estaba necesitando para modificar la clase (.stilo_clase) de varios elementos que fuesen div.  Hacia una comparación con varios elementos que tengo en un array y solo queria cambiar la clase a los div.  Gracias 
Ya resolví como identificar cuando usar document.getElementById("mi_id").innerHTML  y document.getElementById("mi_id").value con   
 Código PHP:
                     var aa=document.getElementById('mi_id');
if(aa.type==undefined)                
 document.getElementById('mi_id').innerHTML=1;
else
 document.getElementById('mi_id').value=1;
 
alert(aa.type);//imprime 'undefined' en caso que no sea un elemento de formulario 
    
  no se si esta manera es la más correcta, si alguien me puede corregir con gusto se acepta la sugerencia.