
<!--
 
if (document.images){
image = new Array ()
image[0]   ="/img/navi/framework_off.gif"
image[1]   ="/img/navi/framework_on.gif"
image[2]   ="/img/navi/software_off.gif"
image[3]   ="/img/navi/software_on.gif"
image[4]   ="/img/navi/developer_off.gif"
image[5]   ="/img/navi/developer_on.gif"

}

function swtch(num, imgname)
{
        imgname.src = im[num].src
}

im = new Array()
for (var i = 0; i < image.length; i++)
{
        im[i] = new Image ()
        im[i].src = image[i]
}
// -->