This is the standard JavaScript 'image rollover' - an image that changes appearance as you move the mouse over it. The JavaScript works by loading several alternative images for each button. If the user moves the mouse in or out of the button's area, a JavaScript function is invoked to change the image displayed. It does this by changing the 'src' attribute of the named button image.