1var openImg = new Image();
2openImg.src = "open.gif";
3var closedImg = new Image();
4closedImg.src = "closed.gif";
5
6function showBranch(branch){
7	var objBranch = document.getElementById(branch);
8
9	if(objBranch.style.display=="block" | objBranch.style.display=="")
10		objBranch.style.display="none";
11	else
12		objBranch.style.display="block";
13	swapFolder('I' + branch);
14}
15
16function swapFolder(img){
17	objImg = document.getElementById(img);
18	if(objImg.src.indexOf('closed.gif')>-1)
19		objImg.src = openImg.src;
20	else
21		objImg.src = closedImg.src;
22}
23
24function sleep(numberMillis){
25  var now = new Date();
26  var exitTime = now.getTime() + numberMillis;
27  while (true){
28    now = new Date();
29    if (now.getTime() > exitTime) return;
30  }
31};
32
33function highlightBranch(branch){
34
35	var objBranch = document.getElementById(branch);
36	var objBack = objBranch.style.background;
37
38  objBranch.style.background = "#FFCC80";
39  window.setTimeout("unhiglightBranch('" + branch + "','" + objBack + "')", 5000)
40
41}
42
43function unhiglightBranch(branch, objBack) {
44  var objBranch = document.getElementById(branch);
45  objBranch.style.background = objBack;
46}