if(document.images) {
button = new Array(); 
button[1] = new Array();
button[1][def] = new Image();
button[1][def].src = "Buttons/ButHome2H.gif"; 
button[1][sel] = new Image();
button[1][sel].src = "Buttons/ButHome2HS.gif"; 
}