document.write('6912')