var nopera = navigator.userAgent.indexOf('Opera') < 0
var months = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']
var days = ['Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat']
var dt

function over() { window.status = this.title; return nopera }
function out() { window.status = ''; return nopera }

function twoNumbers(n) { return n>=10 ? n : '0' + n }

var m_old = -1
function setDateTime()
{
	d = new Date()
	m = d.getMinutes()
	if (m == m_old) return;
	m_old = m
	str = days[d.getDay()] + ' ' + d.getDate() + ' ' + months[d.getMonth()] + ' ' + d.getFullYear()
		+ '<br><span style="font-weight:bold">' + twoNumbers(d.getHours()) + ':' + twoNumbers(m) + '</span>'
	dt.innerHTML = str
}

function init(root)
{
	if (document.images)
	{
		headbar_hover = new Image(1, 20); headbar_hover.src = root + 'img/bg_hbar2.png'
	}
	
	if (document.links)
	{
		e = document.links
		for(var i = 0; i<e.length; i++)
			if (e[i].title.length > 0) { e[i].onmouseover = over; e[i].onmouseout = out }
	}
	
	if (document.getElementById)
	{
		dt = document.getElementById('dt')
		if (dt) { dt.className = 'datetime'; setDateTime(); setInterval("setDateTime()", 1000) }
	}
}