function write_issuedate()
{
	document.write('June 9, 2006')
}