function write(source) {
	document.write(source);
	}