function mouseOver(buttonid)
{
document.getElementById(buttonid).src = buttonid + 'over.jpg'
}

function mouseOut(buttonid)
{
document.getElementById(buttonid).src = buttonid + 'out.jpg'
}