// JavaScript Document

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