function imageRollover (id, img, doc)
	{
		if (! (doc))
		{
			doc= window.document;
		}
		if (doc.images)
		{
			doc.images[id].src= img;
		}
	}//imageRollover

	function rolloverImage (id, img, doc)
	{
		imageRollover (id, img, doc);
	}//rolloverImage
	
	/**	Backward compatibility:
	*/