<!--
	
	function stat_Disp_erase(txt) {   window.status=txt;   setTimeout("erase()",4000);
	}
	function erase() {   window.status="";
	}
	
today=new Date();

// Build an array initializer
function isnArray() {
	argnr=isnArray.arguments.length
	for (var i=0;i<argnr;i++) {
		this[i+1] = isnArray.arguments[i];
	}
}

// And months and day arrays
var isnMonths=new isnArray("January","February","March","April","May","June","July","August","September","October","November","December");
var isnDays= new isnArray("Monday","Tuesday","Wednesday","Thursday","Friday","Saturday","Sunday");
isnDays[0]="Sunday";
	
//  -->