var menu_d = document.getElementById("menu_d");
var menu_c = document.getElementById("menu_c");
var menu_t = document.getElementById("menu_t");
var menu_a = document.getElementById("menu_a");
var menu_k = document.getElementById("menu_k");
var hrefd = document.getElementById("hrefd");
var hrefc = document.getElementById("hrefc");
var hreft = document.getElementById("hreft");
var hrefa = document.getElementById("hrefa");
var hrefk = document.getElementById("hrefk");
hide_all();
hrefd.style.color = "#000080";
hrefd.style.cursor = "pointer";
hrefd.style.fontWeight = "normal";
hrefc.style.color = "#000080";
hrefc.style.cursor = "pointer";
hreft.style.color = "#000080";
hreft.style.cursor = "pointer";
hreft.style.fontWeight = "normal";
hrefa.style.color = "#000080";
hrefa.style.cursor = "pointer";
hrefa.style.fontWeight = "normal";
hrefk.style.color = "#000080";
hrefk.style.cursor = "pointer";
hrefk.style.fontWeight = "normal";
hrefd.onclick = show_d;
hrefc.onclick = show_c;
hreft.onclick = show_t;
hrefa.onclick = show_a;
hrefk.onclick = show_k;