function mnuovr000  (ID,img){document.getElementById(ID).src = "graph_source/" + img}