document.write('0796\n');