function over(xx) {

    document.getElementById(xx).src="images/"+xx+"_f2.gif";

}

function down(xx) {

    document.getElementById(xx).src="images/"+xx+"_f3.gif";

}

 function out(xx) {

    document.getElementById(xx).src="images/"+xx+".gif";

}