function roll_over(img_name, img_src)
{
	document.getElementById(img_name).src= img_src;
}	
function roll_over2(img_name, img_name2, img_src, img2_src)
{
	document.getElementById(img_name).src= img_src;
	document.getElementById(img_name2).src= img2_src;
}