document.write('939912');