Hello, world! (HW1)