/************************************************************/
function $(x){
	return document.getElementById(x)
}
function showDate(){	
	var d=new Date();
	return (d.getDate() +" "+ getMonthName(d.getMonth()) +" "+ d.getFullYear());
}
function getMonthName(index){
	var str="";
	switch (index){
		case 0: str="January";break;
		case 1: str="February";break;
		case 2: str="March";break;
		case 3: str="April";break;
		case 4: str="May";break;
		case 5: str="June";break;
		case 6: str="July";break;
		case 7: str="August";break;
		case 8: str="September";break;
		case 9: str="October";break;
		case 10: str="November";break;
		case 11: str="December";break;
	}
	return str;
}