// JavaScript Document

function re_embed(text)
	{
	document.write(text);
	}