print '<BR><INPUT TYPE="checkbox" NAME="checkbox"
      VALUE=$counter2>$labels[$counter2]';