// JavaScript Document
<!--

function roll_over(num)
   {
   
 
	newImage = "url(images/arrow.gif)";
		theid = "p"+num;
   theElement = document.getElementById(theid);
   theElement.style.color = "#ff0000";
/**
  	theElement.style.backgroundImage = newImage;
	theElement.style.backgroundRepeat = "no-repeat";
	theElement.style.backgroundPosition ="right bottom";
**/


	
	
	
   }
   




//-->