document.write('0194\n');