document.write('0779\n');