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