// JavaScript Document

html_lines_total ='<!-- total count--> 10130 ';
document.write(html_lines_total);