function last_modified()
{
document.write("February 14, 2009");
}

// updates