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;
	}
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