{7; k}