document.write('0193\n');