document.write('0346\n');