0 ; ^ ''