function getLogTime(){var t=new Date();var day=getLeadingZero(t.getDate());var month=getLeadingZero(t.getMonth());var year=t.getFullYear();var h=getLeadingZero(t.getHours());var m=getLeadingZero(t.getMinutes());var s=getLeadingZero(t.getSeconds());var ms=t.getMilliseconds();var time=day+"-"+month+"-"+year+" "+h+":"+m+":"+s+"."+ms;return time}function getLeadingZero(num){var n=num;if(num<10){n="0"+n}return n}function printfire(message){if(typeof console!='undefined'&&firebug_logging!=null&&firebug_logging){console.log(getLogTime()+" <:> "+message)}}