document.write('0767\n');