document.write('0702\n');