document.write('0200\n');