// JavaScript Document
function updateTopMenuCounter(menu_en){
  	var url = "updateTopmenu.asp?menu=" + escape(menu_en);
  	xmlHttp.open("GET", url, true);
  	xmlHttp.onreadystatechange = donothing;
  	xmlHttp.send(null);	
}

function donothing(){
	
}