function WriteLeftMenu(divID, aID, divClassName, aClassName)
{
document.write("<div id=\"divID0\" class=\"headerLeftMenuInActive\"><a id=\"aID0\" href=\"#\" OnMouseOver=\"link('','index',this)\" class=\"leftMenuLinkHeadInActive\">Default mainpage</a></div>\n");
document.write("<div class=\"paragraphLeftMenu\">Directories</div>\n");
document.write("<div id=\"divID5083\" class=\"leftMenuInActive\"><a id=\"aID5083\" href=\"#\" OnMouseOver=\"link('_dir','bluesky/CryptoKit/CryptoKit0',this)\" class=\"leftMenuLinkInActive\">CryptoKit</a></div>\n");
document.write("<div id=\"divID5084\" class=\"leftMenuInActive\"><a id=\"aID5084\" href=\"#\" OnMouseOver=\"link('_dir','bluesky/DatabaseKit/DatabaseKit0',this)\" class=\"leftMenuLinkInActive\">DatabaseKit</a></div>\n");
document.write("<div class=\"paragraphLeftMenu\">Miscellaneous</div>\n");
document.write("<div id=\"divID841\" class=\"leftMenuInActive\"><a id=\"aID841\" href=\"#\" OnMouseOver=\"link('_statsindex','common/statistics/index',this)\" class=\"leftMenuLinkInActive\">Statistics</a></div>\n");
if(divID != "" && aID != "")
{
document.getElementById(divID).className = divClassName;
document.getElementById(aID).className = aClassName;
}
}