// UTILITY FUNCTIONS 

<script type="text/javascript" language="javascript">
<!--
function swapPic()
     {
     if(document.getElementById)
                 {
                 var thePicture=document.getElementById("header";
                 var picPath="images/pic"+rnd(4)+".gif";
                 thePicture.style.background="url("+picPath+"";
                 }
     }
     
function rnd(n)
     {
     return Math.floor(Math.random() * n) + 1;
     }
     
//-->
</script>