document.write('3046\n');