function echo(text) {
	debug_block = getElem('debug');
	debug_block.innerHTML += text + "<br/>";
}