function get_time(format)
{
	var date = new Date();
	var seconds = date.getSeconds().toString();
	var hours = date.getHours().toString();
	var minutes = date.getMinutes().toString();
	var day = date.getDate().toString();
	var month = (date.getMonth()+1).toString();
	var year = date.getFullYear().toString();
	var str_time = "";
	
	var parts = new Array(year, month, day, hours, minutes, seconds);
	
	for(i=1; i<parts.length; i++)
	{
		if(parts[i].length == 1)
		{
			parts[i] = "0"+parts[i];
		}
	}
	var full_date = parts[2]+"."+parts[1]+"."+parts[0];
	var full_time = parts[3]+":"+parts[4]+":"+parts[5];
	switch(format)
	{
		case "date": str_time = full_date;
		break;
		case "time": str_time = full_time;
		break;
		default:  str_time = full_date+" "+full_time;
	}
	return str_time;
}

function write_time(id, format)
{
	document.getElementById(id).firstChild.nodeValue = get_time(format);
}