6 <option>Option
1</option>
7 <option>Option
2</option>
8 <option>Option
3</option>
9 <option>Option
4</option>
13 document
.body
.offsetWidth
;
14 var x
=document
.getElementById('a').options
;
15 x
[1].defaultSelected
= true;
16 x
[2].defaultSelected
= true;
17 x
[3].defaultSelected
= true;