hw7.sml