<?php
   $objStudent = new Student(12345);
   foreach($objStudent->courses as $key => $objCourse) {
      print $ objCourse. "\n";
   }
?>