Modificare gli attributi di stile di un DIV mediante javaScript

<script>
function traccia()
{
 var altezza=600;
 document.write("<div style='background-color:blue;width:400px;height:"+altezza+"px'></div>");
}

traccia();

</script>

Ecco, così funziona.
Devo stare attento a fare in modo che il valore numerico venga al di fuori delle doppie virgolette: esso non c'entra niente con la stringa che viene scritta nel documento!