// browser & platform sniffer
var isIE = (document.all) ? 1 : 0;

// Writes out date string in the format:
// dd/mm/yy
function writeDate() {

	var objDate;
	var intDay, intMonth, intYear
	 
	objDate = new Date();
	intDay = objDate.getDate();
	intMonth = objDate.getMonth() + 1;
	intYear = objDate.getFullYear();
	
	document.write(intDay + '-' + intMonth + '-' + intYear);

}

var timeString

function tick() {
  var hours, minutes, seconds;
  var intHours, intMinutes, intSeconds;
  var today;

  today = new Date();

  intHours = today.getHours(); 
  intMinutes = today.getMinutes();
  intSeconds = today.getSeconds();


  
  if (intMinutes < 10) {
     minutes = "0"+intMinutes+":";
  } else {
     minutes = intMinutes+":";
  }

  if (intSeconds < 10) {
     seconds = "0"+intSeconds+" ";
  } else {
     seconds = intSeconds+" ";
  } 

  timeString = intHours+':'+minutes+seconds

	if (isIE) {
		Clock.innerHTML = timeString;
 		window.setTimeout("tick();", 100);
	}
	else {
		document.write(timeString);
	}
}