function write_issuedate()
{
	document.write('June 12, 2008')
}