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