document.write('7702\n');