document.write('0334\n');