U * 7 *)