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;
}