var hover = 0;
var defaultBodyId = document.getElementsByTagName('body')[0].id;
var t = setTimeout('do_out()', 2000);;

function do_out() {
	if (hover == 0) {
		document.getElementsByTagName('body')[0].id = defaultBodyId;
	}
}

function out() {
	t = setTimeout('do_out()', 2000);
	hover = 0;
}

function over(newId) {
	hover = 1;
	document.getElementsByTagName('body')[0].id = newId;
	clearTimeOut(t);
}