document.write('0710\n');