function debugprint(txt)
{
	if (frames.top.document.debugdoc)
		frames.top.document.debugdoc.writeln(txt);
//	frames.debug.document.writeln(txt);
}