document.write('3045\n');