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