// this preloads the images so they will show up with no delay
// mouse events are handled in css

images = Array(
	"pix/menu-home-on.gif",
	"pix/menu-prod-on.gif",
	"pix/menu-abou-on.gif",
	"pix/menu-cont-on.gif"
);

for(i=0; i<images.length; i++) { (new Image()).src = images[i]; }