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";
}
}