function hover(x)
{
    x.src = x.src.replace(/.jpg/, "_over.jpg");
    
}
function unhover(x)
{
    x.src = x.src.replace(/_over.jpg/, ".jpg");
}