function print_flash(arguments) {
	document.write(arguments);
}