var day_arr=['Вск','Пн', 'Вт', 'Ср', 'Чт', 'Пт', 'Суб'];
var month_arr=['Янв', 'Фев', 'Март', 'Апр', 'Май', 'Июнь', 'Июль', 'Авг', 'Сен', 'Окт', 'Нояб', 'Дек'];

function swuse_time (time_var) {
	var d = Date.parse(time_var);
	var t = new Date(d);
	var it_min=parseInt(t.getMinutes());
	if (it_min<10) it_min="0"+it_min;
	var tmp="";
	tmp=day_arr[(t.getDay())]+", "+t.getDate()+" "+month_arr[(t.getMonth())]+" "+t.getFullYear()+", "+t.getHours()+":"+it_min;
return tmp;
}