function display_text(string)
{
	document.write(string);
}