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