modified:   play.pl