document.write('0776\n');