
[lec7242]
portio==0.5
