* " “ 2 / 1012