function switchButton(button, event) {
    if(event == 'over') {
        button.src = button.src.replace(/\.gif/g, '_over.gif');
    }
    if(event == 'out') {
        button.src = button.src.replace(/\_over\.gif/g, '.gif');
    }
    return true;
}