function addZero(zahl){ 
	return ((zahl < 10) ? "0" : "") + zahl 
} 
/**@js Formatiert ein Datum analog der PHP-Funktion strftime(),
	   verwendet allerdings ein Date-Objekt als zweiten Parameter
*/   
function strftimeJs(format, date)
{ 
	var vDay              = addZero(date.getDate()); 
	var vMonth            = addZero(date.getMonth()+1); 
	var vYearLong         = addZero(date.getFullYear()); 
	var vYearShort        = addZero(date.getFullYear().toString().substring(3,4)); 
	var vHour             = addZero(date.getHours()); 
	var vMinute           = addZero(date.getMinutes()); 
	var vSecond           = addZero(date.getSeconds()); 
	var dateString        = format.replace(/%d/g, vDay).replace(/%m/g, vMonth).replace(/%Y/g, vYearLong).replace(/%y/g, vYearShort);
	dateString            = dateString.replace(/%H/g, vHour).replace(/%M/g, vMinute).replace(/%S/g, vSecond);
	return dateString;
}