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

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

function picsoff (name) {
  document[name].src='images/'+name+'.jpg';
}
function picson (name) {
  document[name].src='images/'+name+'_.jpg';
}

function picsoff_inside (name) {
  document[name].src='../images/'+name+'.jpg';
}
function picson_inside (name) {
  document[name].src='../images/'+name+'_.jpg';
}