1 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN"
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
5 <select id=
"filter_by" size=
"12"></select>
7 <script language='javascript'
>
8 document
.body
.offsetWidth
;
9 document
.getElementById("filter_by").disabled
= true;