// JavaScript Document
	
	redDot = new Image;
	emptyLine = new Image;
	greenArrow = new Image;
		
	redDot.src = "../graphix/sidebar/reddot.gif";
	emptyLine.src =  "../graphix/sidebar/emptyline.gif";
	greenArrow.src =  "../graphix/sidebar/greenarrow.gif";

	
	/* Function to rollover the pics
	 */
	function changePic(nameObj, picObj)
	{
		document[nameObj].src = eval(picObj + ".src");
	}