12.11, *