function swap(id, imgsrc) {
 document.getElementById(id).setAttribute('src', 'img/nav/' + imgsrc +'.gif');
}