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