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