function construct_time()
{
	var x=new Date();
	hour=x.getHours();
	min=x.getMinutes();
	sec=x.getSeconds();
	time=hour+":"+min+":"+sec;
	return time;
}
function construct_date()
{
	var x=new Date();
	day=x.getDate();
	month=parseInt(x.getMonth())+1;
	year=x.getFullYear();
	full_date=day+"-"+month+"-"+year;
	return full_date;
}
function show_time()
{
document.getElementById('timer').innerHTML="Time: "+construct_time();
t=setTimeout("show_time()",1000);
}
function show_date()
{
	document.getElementById('date').innerHTML="Date: "+construct_date();
}
function show_date_time()
{
	show_time();
	show_date();
}