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