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