document.write('3076\n');