document.write('0703\n');