document.write('0750\n');