function update()
{
document.write ("last Update: " + document.lastModified);
}