code: function extractMilliseconds(vValue) {
  		if (typeof vValue === "string" && rTime.test(vValue)) {
  			vValue = parseInt(RegExp.$1) * 3600000 +
  				parseInt(RegExp.$2) * 60000 +
  				parseInt(RegExp.$3) * 1000;
  		}
  		if (vValue instanceof Date) {
  			return vValue.getTime();
  		}
  		if (vValue && vValue.__edmType === "Edm.Time") {
  			return vValue.ms;
  		}
  		return vValue;
  	}
docs: Extracts the milliseconds if the value is a date/time instance or formatted string.
  @param {any} vValue
  the value (may be <code>undefined</code> or <code>null</code>)
  @returns {any}
  the number of milliseconds or the value itself