function off (name) {
  document[name].src='/images/'+name+'.gif';
}

function on (name) {
  document[name].src='/images/'+name+'_on.gif';
}