function menu_in(node) {
	node.style.backgroundImage= 'url(img/leaf.gif)';
}

function menu_out(node) {
	node.style.backgroundImage= 'none';
}