// write document contents
function documentwrite(src){
	document.write(src);
}