function g(s) {return document.getElementById(s)}
function change(str,from,to) {return eval( "str.replace(/" + from + "/,'" + to + "')" )}
function mouseOver(o) {o.src=change(change(o.src,".Selected.",".Mouseover."),".Active.",".Mouseover.")}
function mouseOut(o) {o.src=change(o.src,".Mouseover.",".Active.")}