document.write('0941\n');