document.write('7780\n');