<?php
/**
 * This is Num.php
 */
/**
 * Class foo
 */
class foo
{
}
?>