Используя javascript, как я могу преобразовать строку «человеческого времени», например «Среда, 20 июня, 19:20:44 +0000 2012», в значение метки времени, например «1338821992»?