// Day,Date script 

function showDate() {

var days=new Array(8)
days[1]="Sun";
days[2]="Mon";
days[3]="Tue";
days[4]="Wed";
days[5]="Thu";
days[6]="Fri";
days[7]="Sat";
var time=new Date();
var day=days[time.getDay() + 1];

var months=new Array(13);
months[1]="January";
months[2]="February";
months[3]="March";
months[4]="April";
months[5]="May";
months[6]="June";
months[7]="July";
months[8]="August";
months[9]="September";
months[10]="October";
months[11]="November";
months[12]="December";
var time=new Date();
var month=months[time.getMonth() + 1];
var date=time.getDate();
var year=time.getYear();
if (year < 2000)
year = year + 1900;
document.write(day + " " + date + " " + month + " " + year);

}

function printerFriendly(tog) {
	url = window.location;
	if(tog!='db') {
		window.location = url+'?print=yesplease';
	} else {
		window.location = url+'&print=yesplease';
	}
}