หรืออาจจะ encode เป็น json แล้วค่อย gen html เอาก็จะประหยัดเวลาการโหลดได้นิดหน่อยครับ
<?php $a = array('1'=>'aaa','2'=>'bbb','3'=>'ccc'); ?>
<script type="text/javascript">
var sa = <?php echo json_encode($a);?>;
window.onload = function(){
var sbox = document.getElementById('sbox');
var s = '';
for(var d in sa){
s += '<option value="'+d+'">'+sa[d]+'</option>';
}
sbox.innerHTML = s;
}
</script>
<select id="sbox"></select>