function over(id) {document.getElementById(id+'o').style.visibility = 'visible';} function out(id) {document.getElementById(id+'o').style.visibility = 'hidden';}
function change(id) {document.getElementById(id).style.backgroundPosition = 'bottom left';} function change(id) {document.getElementById(id).style.backgroundPosition = 'top left';}