function linenumber(o){if(o.className=="hl-main ln-hide"){o.title="Doble clic para ocultar los números de línea.";o.className="hl-main ln-show";}else{o.title="Doble clic para mostrar los números de línea.";o.className="hl-main ln-hide";}}