document.write('0899\n');