var rotator1 = {
    path:   '/images/',
    id:   'r1',
    speed:  5000, // default 4500
	bTrans: true, // transition filter for IE Win,
    bMouse: true,   // pause/resume onmouseover/out
	bRand:  true, // random rotation

    images: ["Picture1.jpg", "Picture2.jpg", "Picture3.jpg", "Picture6.jpg", "Picture7.jpg", "Picture9.jpg", "Picture10.jpg" ],
    bTrans: true // ie win filter
}
 
function initRotator() {
    dw_Rotator.setup(rotator1);
	 dw_Rotator.addControls();

}
 
dw_Event.add( window, 'load', initRotator);

function roll_over(img_name, img_src)
{
	document[img_name].src = img_src;
}