/**
* Creates a complete date and time stamp 
*/
function full_time() {
	var d=new Date();
	var minutes=d.getMinutes();
	var seconds=d.getSeconds();
	var weekday=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	var monthname=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
	return weekday[d.getDay()] + " " + d.getDate() + ". "+monthname[d.getMonth()] + " "+d.getFullYear()+" "+
		d.getHours()+":"+((minutes>9)?minutes:("0"+minutes))+":"+((seconds>9)?seconds:("0"+seconds));
}

/**
* Creates a numeric timestamp
*/
function numTimestamp() {
	var d=new Date();
	var month=d.getMonth()+1;
	var day=d.getDate();
	var minutes=d.getMinutes();
	var seconds=d.getSeconds();
	var hours=d.getHours();
	return ""+d.getFullYear()+((month>9)?month:("0"+month))+((day>9)?day:("0"+day))+((hours>9)?hours:("0"+hours))
			+((minutes>9)?minutes:("0"+minutes))+((seconds>9)?seconds:("0"+seconds));
}