var html=''; html+='4115'; document.write(html);