function changePic(name, file) {
  document[name].src = String(file);
}
//--------------------------------------------------------------
function rollover(basename) {
	changePic(basename, "navi_"+basename+"_over.png");
}
//--------------------------------------------------------------
function rollout(basename) {
	changePic(basename, "navi_"+basename+".png");
}