$pi = 3,141592654;
$resultat = 2*$pi*12,5;
print "$resultat";