document.write('0343\n');