// ID要素の変更
// ページが更新されるたびにランダムにIDの値を変更する
function changeBannerId() {
    if(document.getElementById) {
        // 初期表示時点でのIDの値を""の中に記述する
        var obj = document.getElementById("banner1");
        // Bannerの数だけ増やして、StyleSheetにも同じID分定義する
        ranimg = new Array();
        ranimg[0]="banner1";
        ranimg[1]="banner2";
        ranimg[2]="banner3";
        ranimg[3]="banner4";
        ranimg[4]="banner5";
        ranimg[5]="banner6";
        // 乱数処理
        rndNum = Math.floor(ranimg.length*Math.random());
        ranimg = ranimg[Math.floor(rndNum)];
        // 対象のオブジェクトがあれば、書き換える
        if(obj) {
            obj.setAttribute("id", ranimg);
        }
    }
}