(7x19)").