<!--
    var ic = 6;     
    var imgs = new Array(ic);  
        
imgs[0] = "/images/pic_portfolio_new_1.gif";
imgs[1] = "/images/pic_portfolio_new_2.gif";
imgs[2] = "/images/pic_portfolio_new_3.gif";
imgs[3] = "/images/pic_portfolio_new_4.gif";
imgs[4] = "/images/pic_portfolio_new_5.gif";
imgs[5] = "/images/pic_portfolio_new_6.gif";

function pickRandom(range) {
	if (Math.random)
		return Math.round(Math.random() * (range-1));
	else {
		var now = new Date();
		return (now.getTime() / 1000) % range;
	}
}
// -->