document.write('3180\n');