function $$(o) { return document.getElementById(o); }
function wait(){
	$$('wait').style.display="block";
}