if (document.images) {

// Menu-items passief
var icon_viewcart_off = new Image();
icon_viewcart_off.src = "/beta/images/icon_viewcart.gif"


// Menu-items actief
var icon_viewcart_on = new Image();
icon_viewcart_on.src = "/beta/images/icon_viewcart_on.gif"
}