function wait(millis) {
		window.setTimeout("function(){}", millis);
	}