document.open() document.write('712') document.close()