function EI_constructor() {
	/*if (document.getElementById("debugFrame")) return;
	var debugFrame = document.createElement('div');
	debugFrame.setAttribute('id', 'debugFrame');
	debugFrame.style.position = "absolute";
	debugFrame.style.bottom = "0px";
	debugFrame.style.left = "50%";
	debugFrame.style.marginLeft = "-400px";
	debugFrame.style.height = "130px";
	debugFrame.style.width = "800px";
	debugFrame.style.backgroundColor="#aaa";
	debugFrame.style.overflow = "auto";
	debugFrame.style.border = "1px dotted black";
	debugFrame.style.fontFamily = "Courier";
	debugFrame.style.fontSize = 10;
	debugFrame.innerHTML = "Debug Started";
	document.body.appendChild(debugFrame);
	*/
}

function EI_trace(texte) {
	/*var debugFrame = document.getElementById("debugFrame");
	debugFrame.innerHTML = texte + "<hr>" + debugFrame.innerHTML;	*/
}