(DISPLAY "abc")