( len _ 17 _17