// JScript File

function omMouseChange( img1 ) {

    var picture = document.getElementById(img1).src;
    var picturelength = picture.length;
    
    if (picture.substring( picturelength-12 ) == "selected.gif" ) {
        document.getElementById(img1).src = 'image/' + img1 + '.gif'
    } else {
        document.getElementById(img1).src = 'image/' + img1 + '_selected.gif'
    }
}