document.write('0792\n');