function print_date()
{	
	document.write("December 12");  
}