1var autoincludeindexhidden = true;
2function toggleautoindexmenu()
3{
4	id = 'autoincludeindex';
5	iconid = 'autoincludeindexicon';
6	if (autoincludeindexhidden)
7	{
8		showautoincludeindex(id,iconid);
9	}
10	else
11	{
12		hideautoincludeindex(id,iconid);
13	}
14}
15
16function showautoincludeindex(id,iconid)
17{
18	$(id).style.visibility="visible";
19        $(id).style.display="inline";
20	$(iconid).style.right = '304px';
21	autoincludeindexhidden = false;
22}
23
24function hideautoincludeindex(id,iconid)
25{
26	$(id).style.visibility="hidden";
27        $(id).style.display="none";
28	$(iconid).style.right = '0px';
29	autoincludeindexhidden = true;
30}
31