var bWidths = new Array()

function assignBG(which, width) {
    bWidths[which] = width
    obj = document.getElementById('b'+which)
    obj.width = width
    obj.which = which
    obj.style.backgroundImage='url(/images/internal/blueButton' + width + '.png)'
}

function high(obj) {
    which = obj.which
    obj.style.backgroundImage='url(/images/internal/blueButton' + bWidths[which] + 'HI.png)'
    document.getElementById('t'+which).style.marginTop='2px'
}

function dehigh(obj) {
    which = obj.which
    obj.style.backgroundImage='url(/images/internal/blueButton' + bWidths[which] + '.png)'
    document.getElementById('t'+which).style.marginTop='0px'
}