var oldHoverElement;
function show(element) {
	element.className = "hover";
    //element.className += "hover";
	if (oldHoverElement) {
		if (oldHoverElement != element) {
			oldHoverElement.className = "";
		}
	}
	oldHoverElement = element;
}