document.write('0751\n');