function isSelected(pIndex, pMatchwith) {
  if (pIndex == pMatchwith) {
    return " selected ";
  } else {
    return " ";
  }
}

function generateOptionChangeStyle() {
  var theStyle = getStyle();

  document.write("<select style=\"font-size: 10px;\" name=\"select\" onchange=\"changeStyle(this.value)\" size=1>");
  document.write("<option" + isSelected(1, theStyle) + "value=1>small</option>");
  document.write("<option" + isSelected(2, theStyle) + "value=2>normal</option>");
  document.write("<option" + isSelected(3, theStyle) + "value=3>large</option>");
  document.write("<option" + isSelected(4, theStyle) + "value=4>larger</option>");
  document.write("</select>");
}

generateOptionChangeStyle();