Update program12.pl