Заменить border-color с JavaScript

Нажмите кнопку "Попробовать", чтобы изменить цвет границы элемента DIV:

Hello