spinner$mold$=function(a){var c=this.uuid,b=this._buttonVisible;a.push("<span",this.domAttrs_({text:!0,tabindex:!0}),">",'<input id="',c,'-real"','class="',this.$s("input"));b||a.push(" ",this.$s("input-full"));a.push('" autocomplete="off"',this.textAttrs_(),"/>",'<span id="',c,'-btn"','class="',this.$s("button"));b||a.push(" ",this.$s("disabled"));b=this.$s("icon")+" ";a.push('"><a id="',c,'-btn-up" class="',b,this.$s("up"),'"><i class="',this.getBtnUpIconClass_(),'"></i></a><i class="',this.$s("separator"),
'"></i><a id="',c,'-btn-down" class="',b,this.$s("down"),'"><i class="',this.getBtnDownIconClass_(),'"></i></a>');a.push("</span></span>")};
