function s_lt(timestamp, format) {
	if (format == undefined)
		format = "Y-m-d H:i:s"
	date_object = new Date();
	date_object.setTime(timestamp*1000);
	document.write(spipLocalTime_formatDate(date_object, format));
}

function spipLocalTime_addZero(number){ 
    return ((number < 10) ? "0" : "") + number 
} 
        
function spipLocalTime_formatDate(date_object, format){ 
    var daysTextual       = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"); 
    var monthsTextual     = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"); 
	
	var replacements      = new Array();
	replacements['d']     = spipLocalTime_addZero(date_object.getDate());
	replacements['F']     = monthsTextual[date_object.getMonth()];
	replacements['G']     = date_object.getHours();
	replacements['H']     = spipLocalTime_addZero(date_object.getHours());
	replacements['i']     = spipLocalTime_addZero(date_object.getMinutes());
	replacements['j']     = date_object.getDate();
	replacements['l']     = daysTextual[date_object.getDay()];
	replacements['m']     = spipLocalTime_addZero(date_object.getMonth()+1);
	replacements['n']     = date_object.getMonth()+1;
	replacements['s']     = spipLocalTime_addZero(date_object.getSeconds());
	replacements['Y']     = date_object.getFullYear();
	replacements['y']     = spipLocalTime_addZero(date_object.getFullYear().toString().substring(3,4));
	
	var parsed_string = '';
	for (i=0; i<format.length; i++) {
		theChar = format.charAt(i);
		if (theChar == '\\') {
			parsed_string += format.charAt(i+1);
			i++; // escaped, skip next character
		} else {
			if (replacements[theChar] == undefined) {
				parsed_string += theChar; // no replacement found
			} else {
				parsed_string += replacements[theChar];
			}
		}
	}
	
	return parsed_string+" your local time";
}
