function hover(picObj,pos)
            {
		// mouse over picture
		if (pos == "on") {
			picObj.src=picObj.src.replace(".jpg","_on.jpg");
		}
		// mouse out picture
		else {
			picObj.src=picObj.src.replace("_on","");
		}
            }