initial Lab7 push