function linenumber(o) {
    if (o.className == "hl-main ln-hide") {
        o.title = "Double click to hide line number.";
        o.className = "hl-main ln-show";
    } else {
        o.title = "Double click to show line number.";
        o.className = "hl-main ln-hide";
    }
}