added prod() function