Normal1 = new Image();
Normal1.src = "candy/candy_print.gif";     /* first button */
Highlight1 = new Image();
Highlight1.src = "candy/candy_print2.gif"; /* second button */

Normal2 = new Image();
Normal2.src = "candy/candy_save_specification.gif";     /* first button */
Highlight2 = new Image();
Highlight2.src = "candy/candy_save_specification2.gif"; /* second button */

function buttonchange(buttonnumber,buttonobject) 
{
 window.document.images[buttonnumber].src = buttonobject.src;
}