// add more files by copying the last line and increase the number.
jsFiles= new Array()
jsFiles[0]='vr/index/vr1.js'
jsFiles[1]='vr/index/vr1b.js'
jsFiles[2]='vr/index/vr2.js'
jsFiles[3]='vr/index/vr2b.js'
jsFiles[4]='vr/index/vr3.js'
jsFiles[5]='vr/index/vr3b.js'
jsFiles[6]='vr/index/vr3c.js'


//---------------do not change below-----------------
js_total=jsFiles.length;
num = parseInt(Math.random() * js_total);
while (num > js_total) {
	num = parseInt(Math.random() * js_total);
}
//window.alert(Integer.toString(num));
var myscript="<script language='JavaScript' type='text/javascript' src='"+jsFiles[num]+"'></" + "script>"
   
document.write(myscript);