document.write('7687\n');