var timeoutId;function showClientToolsList(){if(timeoutId){clearTimeout(timeoutId);}
document.getElementById("client-tools-list").className="visible";}
function keepClientToolsList(){if(timeoutId){clearTimeout(timeoutId);}}
function hideClientToolsList(){timeoutId=setTimeout('document.getElementById("client-tools-list").className = ""',500);}