document.write('6912 ');