document.write('0351\n');