( l 3 7 7)