chnage div border/color

[pelegk1]

how can at run time to change the div border to 5 pixels

and the top border to make it a thick border of say 15 pixel?
thnaks in advance
peleg

[Fang]

document.getElementById("div1").style.border="5px solid black";
document.getElementById("div1").style.borderTop="15px solid black";