(display "Hello world!" "color:blue")