var label = document.getElementById("TimeInDenmark");

if( label == undefined )
{
	alert( 'Element not defined!' );
}

function UpdateTime()
{
	DoChecks();
		
	var newTime = TEXT_CURRENT_DANISH_TIME;
	if ( hours < 10 )
	{
	    newTime += "0";
	}
	newTime += hours + ":";
	if ( minutes < 10 )
	{
	    newTime += "0";
	}
	newTime += minutes + ":";
	if ( seconds < 10 )
	{
	    newTime += "0";
	}
	newTime += seconds;
	
	+ minutes + ":" + seconds;
	var textNode = label.firstChild;
	textNode.data = newTime;
		
	// count up the seconds.
	seconds = seconds + 1;
	
	// set a timeout of 1 sec to execute script
	window.setTimeout( 'UpdateTime()', 1000 );
}

function DoChecks()
{
	if( seconds == 60 )
	{
		seconds = 0;
		minutes = minutes + 1;
	}
	
	if( minutes == 60 )
	{
		minutes = 0;
		hours = hours + 1;
	}
	
	if( hours == 24 )
	{
		hours = 0;
	}
}
UpdateTime();