/*	HTML Example
	<textarea name="debug" cols="50" rows="5"></textarea>
*/
function debug(text) {
	debug_window = document.getElementById('debug');
	debug_window.value = text + "\n-----------------------------\n" + debug_window.value;
}