document.write('0878\n');