
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html; charset=ISO-8859-1"

 http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

Nice one!<br>

But maybe the rules should be amended as follows<br>

<br>

- file format is mp<b>3.1415926535</b> ...<br>

<br>

Ok sorry.. back to work :)<br>

<br>

Lorenzo<br>

<br>

</body>

</html>