document.write('0347\n');