var arrayMouse=new Array();
var elementGlobal='';
function over (element) {
	arrayMouse.push(element);
}
function out (element) {
	elementGlobal=element;
	arrayMouse.pop(element);
	setTimeout("replie()",1);
}

function replie() {
	if (arrayMouse.length==0) {
		if (hasClass(elementGlobal.getElementsByTagName('p')[0], "unfolded")) {
			foldUnfold(elementGlobal.getElementsByTagName('p')[0]);
		}
	}
}