function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.gif','r.gif');
}
   
function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('r.gif','.gif');
}
function wait() {
	waiting.style.posTop = document.body.scrollTop + document.body.clientHeight / 2 - 350 / 2;
	waiting.style.posLeft = document.body.scrollLeft + document.body.clientWidth / 2 - 350 / 2;
	waiting.style.display = "block";  
	return;
}