// JavaScript Document

//verhindert das flackern des menues beim explodierer
try {
	document.execCommand("BackgroundImageCache", false, true);
} catch(err) {}