selectbox$mold$=function(a){a.push("<select",this.domAttrs_(),">");for(var c=$eval(this.items)||[],b=0,d=c.length;b<d;b++)a.push("<option"),-1<this._selectedIndex&&this._selectedIndex==b&&a.push(' selected="selected"'),a.push(">",c[b],"</option>");a.push("</select>")};
