codice:
  if (document.getElementById){
    var colonna1 = document.getElementById(col_1);
    var colonna2 = document.getElementById(col_2);
    corpo = document.getElementById(corpo);
...
non č da biasimare