function write_issuedate()
{
	document.write('October 24, 2007')
}