function set_selectbox_value (x, val) {
  var i
  for (i = 0; i < x.options.length; i++) {
  	if (x.options[i].value == val)
		x.options[i].selected = true;
  }
}