// new function, so I just have to change copyright date in one place for html pages
function copyrightdate() {
document.open();
document.write(2009);
}