function mouseOver()
{
document.getElementById("b1").src ="images//pic_1.jpg";
document.getElementById("b2").src ="images//pic_2.jpg";
document.getElementById("b3").src ="images//pic_3.jpg";
}
//]]>