document.write('789');document.write('');document.write('789');