function run_flash(arg)
	{
	document.write(arg);
	}