//<![CDATA[

function hover(e, s) {
	document.getElementById(e).className = 'button_over';
	document.getElementById('pops').appendChild(document.createTextNode(s));
}
function hover_restore(e) {
	document.getElementById(e).className = 'button';
	var obj = document.getElementById('pops')
	while(obj.firstChild) {
		obj.removeChild(obj.firstChild);
	}
}

//]]>