function startTime()
{
	var today=new Date()
	var anno=today.getFullYear()
	var mese=today.getMonth()
	var giorno_s=today.getDay() 
	var giorno=today.getDate()
	var h=today.getHours()
	var m=today.getMinutes()
	var s=today.getSeconds()
// add a zero in front of numbers<10
	m=checkTime(m)
	s=checkTime(s)
	switch(giorno_s)
	{
		case 0:
		  g_s="domenica"
		  break    
		case 1:
		  g_s="lunedì"
		  break
		case 2:
		  g_s="martedì"
		  break
		  case 3:
		  g_s="mercoledì"
		  break
		  case 4:
		  g_s="giovedì"
		  break
		  case 5:
		  g_s="venerdì"
		  break  
		default:
		  g_s="sabato" 
	}
	
	switch(mese)
	{
		case 0:
		  m1="gennaio"
		  break    
		case 1:
		  m1="febbraio"
		  break
		case 2:
		  m1="marzo"
		  break
		  case 3:
		  m1="aprile"
		  break
		  case 4:
		  m1="maggio"
		  break
		  case 5:
		  m1="giugno"
		  break 
		    case 6:
		  m1="luglio"
		  break 
		    case 7:
		  m1="agosto"
		  break 
		    case 8:
		  m1="settembre"
		  break 
		    case 9:
		  m1="ottobre"
		  break 
		    case 10:
		  m1="novembre"
		  break  
		default:
		  m1="dicembre"		 
	}
	
	document.getElementById('txt').innerHTML=g_s+" "+giorno+  " " + m1 +" "+ anno+ "  "+h+":"+m+":"+s+"  - Rel.  2.0"
	t=setTimeout('startTime()',500)
}

function checkTime(i)
{
if (i<10) 
  {i="0" + i}
  return i
}