Заменить border-top-right-radius с JavaScript

Нажмите кнопку "Попробовать", чтобы изменить свойство border-top-right-radius элемента DIV: