7242 ; 1 .)