push #7 and #8