» 5 , 1« , 20;