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