view/default/jquery-ui/development-bundle/ui/jquery-ui-1.8.16.custom.js
function(match, value, len) {
			var num = '' + value;
			if (lookAhead(match))
				while (num.length < len)
					num = '0' + num;
			return num;
		}
function(match, value, len) {
			var num = '' + value;
			if (lookAhead(match))
				while (num.length < len)
					num = '0' + num;
			return num;
		}
function ( match , value , len ) { var num = '' + value ; if ( lookAhead ( match ) ) while ( num . length < len ) num = '0' + num ; return num ; }
Format a number, with leading zero if necessary
Format a number with leading zero if necessary