function write_issuedate()
{
	document.write('May 13, 2009')
}