<!-- Original:  (mrenner@rst.de) -->

<!-- This script and many more are available free online at -->
<!-- The JavaScript Source!! http://javascript.internet.com -->

<!-- Begin
function imgover(imgname){
imgname.src = "images/dot2.gif"
}
function imgout(imgname){
imgname.src = "images/dot.gif"
}
// End -->