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

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