Complete the HTML and CSS code to create a header with class "header" and set its border width to 5px, style to dotted, and color to red:

<header class="_____"></header>

.header {
    border: _____;
}