function changeTheme() {
if (++theme == 3) theme = 0;
document.getElementById("theme").href = "ogn_" + theme + ".css";
document.getElementById("css_switch").innerHTML = theme_name[theme];
document.getElementById("tid").value = theme;
}