+
+if [ -z "$PLAYER" ] ; then
+ [ -x /usr/bin/mplayer ] && PLAYER="mplayer"
+ [ -x /usr/bin/ogg123 ] && PLAYER="ogg123"
+fi
+
+if ! [ $(which $PLAYER) ] ; then
+ echo "Sorry, neither mplayer nor ogg123 available and \$PLAYER is not set.">&2
+ exit 1
+fi
+