function donothing() {
	window.focus();
}