Nimm das getElementById noch mit in die Funktion, dann spart es wirklich Platz und vor allem Tipparbeit wenn a an vielen Stellen aufgerufen wird.

  
a ("id1", 'Hallo' );  
  
function a (id, txt ) {  
  
 document.getElementById(id).innerHTML = txt;  
  
}