function show(id) {
	arr_hide = new Array('home','works','lvt','lso','lgo','police','mps','business');
	for (count in arr_hide) {
		element = document.getElementById('nav_'+arr_hide[count]);
		element.className = 'nav_sub';
	}
	element = document.getElementById(id);
	element.className = 'nav_show';
}

function date_ddmmmyy(date) {
	var d = date.getDate();
	var m = date.getMonth();
	var y = date.getYear();

	// handle different year values
	// returned by IE and NS in
	// the year 2000.

	y -= (y >= 2000 ? 2000 : 0);
	y -= (y >= 100 ? 100 : 0);
	y = (y < 10 ? '0' + y : y);
	d = (d < 10 ? '0' + d : d);

	month = new Array('jan','feb','mar','apr','may','jun','jul','aug','sep','oct','nov','dec');
	m = month[m];

/*
	// could use splitString() here
	// but the following method is
	// more compatible
	var mmm =
	(1==m) ? 'Jan' : (2==m) ? 'Feb' : (3==m) ? 'Mar':
	(4==m) ? 'Apr' : (5==m) ? 'May' : (6==m) ? 'Jun':
	(7==m) ? 'Jul' : (8==m) ? 'Aug' : (9==m) ? 'Sep':
	(10==m) ? 'Oct' : (11==m) ? 'Nov' : 'Dec';
*/
	return d + ' ' + m + ' ' + y;
}

function lastmodified() {
	var lmd = document.lastModified;
	var s = 'Unknown';
	var d1;

	// check if we have a valid date
	// before proceeding
	if ((d1 = Date.parse(lmd)) != 0) {
		s = date_ddmmmyy(new Date(d1));
	}

	document.write('Last updated on ' + s);
}