document.write('7778\n');