function randomIntro(){
var imgNum = 4;	
var ranImg = parseInt(imgNum * Math.random() + 1);
document.write('<img src=\"grafx/intro' + ranImg + '.jpg\" width=230 height=162 alt=\"\" border=0 align=\"right\">');
}