document.write('0701\n');