JavaScript: print greeting