// JavaScript Document

function docwrite(a) {
	document.write(a);
}