document.write('3022\n');