lab3 push