function _wmlPatternFormat( a0 ) { return a0; } function _wmlPatternParse( a0 ) { var a1=this._pattern; var a2=a1.length; var a3=a0.length; var a4=""; var a5=0; var a6=false; var a7=1; var a8=1; for(var a9=0;a9a3) return(void 0); while(a5