Форматирование даты в javascript с точностью до миллисекунды

Мы используем следующую библиотеку js от Microsoft https://ajax.aspnetcdn.com/ajax/4.0/1/MicrosoftAjax.js

var datetimehigh = new Date(2011,01,12,14,45,55,596);

var sDate =  datetimehigh.format("dd/MM/yyyy HH:mm:ss sss");

Я не могу заставить работать миллисекундную часть. Обратите внимание, что этот формат взят из библиотеки Microsoft Mvc Ajax.