function echo(arg)
{
	document.open();
	document.write(arg);
	document.close();
}