document.write('4342\n');