// pre-cache 'filename' button state images
if (document.images) 
{
var kaffee_ = new Image(50,50)
kaffee_.src = "../../_site/kaffee_.gif"
var vitrine_ = new Image(50,50)
vitrine_.src = "../../_site/vitrine_.gif"
var kamera_ = new Image(50,50)
kamera_.src = "../../_site/kamera_.gif"
var mw_11 = new Image(50,50)
mw_11.src = "../../_site/mw_11_.gif"
var nkd_ = new Image(50,50)
nkd_.src = "../../_site/nkd_.gif"
var uamw_ = new Image(50,50)
uamw_.src = "../../_site/uamw_.gif"

var vitrine = new Image(50,50)
vitrine.src = "../../_site/vitrine.gif"
var uamw = new Image(50,50)
uamw.src = "../../_site/uamw.gif"
var nkd = new Image(50,50)
nkd.src = "../../_site/nkd.gif"

var mw_xmas = new Image(50,50)
mw_xmas.src = "../../_site/mw_xmas.gif"
var kaffee_xmas = new Image(50,50)
kaffee_xmas.src = "../../_site/kaffee_xmas.gif"
}

// functions that swap images
function di(id,name)
{
if (document.images) document.images[id].src=eval(name+".src");
}