function modified() {
 // var theDate = (new Date(document.lastModified));
 var modDate = (document.lastModified);
 document.write( "<b>This page was last updated on "+ modDate +"</b>");
}

function clear_box($name) {
 document.getElementById($name).value = "";
}

function swapImage(id,image) {
 if(document.images)document.images[id].src=image;
}