all.js

var element = 0;
var timer;

function menu(t) {
	clearTimeout(timer);
	if(!t) {
		timer = setTimeout("menu(-1)", 200);
		return;
	}
	if(element) {
		element.className = "menu";
		element = null;
	}
	if(t && t != -1) {
		element = t;
		element.className = "menu menuh";
		timer = setTimeout("menu(0)", 3000);
	}
}

function clrf(id, mouse) {
	if(!id.tmp) {
		id.tmp = id.value;
	}
	if(mouse == "focus" && id.value == id.tmp) {
		id.value = "";
	}
	if(mouse == "blur" && !id.value) {
		id.value = id.tmp;
	}
}