document.write('0889\n');