function write_issuedate()
{
	document.write('May 16, 2008')
}