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.