El programa 'Hola Mundo' en J es: