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