function get_random()
{
    var ranNum= Math.floor(Math.random()*3);
    return ranNum;
}


   var whichImage=get_random();

    var image=new Array(2)
     image[0]='<img src="images/page/header01.jpg" alt="Designer Skin Model" border="0" usemap="#htc_top_r2_c3Map" id="htc_top_r2_c3" />';
     image[1]='<img src="images/page/header02.jpg" alt="Designer Skin Model" border="0" usemap="#htc_top_r2_c3Map" id="htc_top_r2_c3" />';
     image[2]='<img src="images/page/header03.jpg" alt="Designer Skin Model" border="0" usemap="#htc_top_r2_c3Map" id="htc_top_r2_c3" />';   
  
   document.write(image[whichImage]);