debugged output]