document.write('0705\n');