function on(img)
{
 if (!document.images) return;
 document.images[img].src = "../buttons/"+img+"d.gif";
}

function off(img)
{
 if (!document.images) return;
 document.images[img].src = "../buttons/"+img+".gif";
}