function docdowrite(s) 
{
	document.write(s);
}