<?php
/* dummy include*/
include(dirname(__FILE__)."/get_included_files_inc3.inc");
?>