" " 2 ■ ~ 1 2 - 2 5 " 10 « = 2 * 5.