// JavaScript Document

function trace(txt) {
	if(top.frames.Header) {
		top.frames.Header.document.forms.appDebug.debug.value += '\n' + txt;
		top.frames.Header.document.forms.appDebug.debug.scrollTop = top.frames.Header.document.forms.appDebug.debug.scrollHeight;
	}
}