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