<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"
 lang="en" dir="ltr"><!-- InstanceBegin template="base.dwt" codeOutsideHTMLIsLocked="false" -->
<head>
<!-- InstanceBeginEditable name="doctitle" --> 
<title>UC Davis Particle Physics Images</title>
<link rel="shortcut icon" href="favicon.ico" >
<!-- InstanceEndEditable --> 
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<link rel="stylesheet" type="text/css" href="/basenetscape.css">
<style type="text/css">
@import url("/base.css");
</style>

<?php
    require_once('/usr/lib/php/magpierss/rss_fetch.inc');
 ?>


<?php
 include("../../menu.php");
 ?>


<center><H1><font-1>Particle Physics Images</font></H1></center>

<center><H3><font-1>
<a href="http://particle.physics.ucdavis.edu/hefti/">for the Davis Particle Theory Page click here!</a></font></H3></center>

<blockquote>
<pre>

</pre>

<?php
/*
 By Matt Mullenweg > http://photomatt.net
 Inspired by Dan Benjamin > http://hiveware.com/imagerotator.php
 Latest version always at:
 http://photomatt.net/scripts/randomimage
*/

// Make this the relative path to the images, like "../img" or "random/images/".
// If the images are in the same directory, leave it blank.
$folder = '';
// Space seperated list of extensions, you probably won't have to change this.
$extsions = 'jpg jpeg png gif';
$i = -1; // Initialize some variables
if ('' == $folder) $folder = './';
$handle = opendir($folder);
$extsions = explode(' ', $extsions);
$file = readdir($handle);
 while(false !== ($file = readdir($handle))) {
      foreach($extsions as $ext) // for each extension check the extension
      {   
	     if (preg_match('/\.'.$ext.'$/i', $file, $test)) { // faster than ereg, case insensitive
            // it's good
            ++$i;
            
            print("<center><img src=\"/Graphics/rotate/$file\" height=\"350\" /></center>");
		    $pos = strpos($file, '.');

		    $name = substr_replace($file, 'txt', $pos+1);

			if( file_exists($name) ){
		    	print("<center>");
		    	include($name);
		    	print("</center>");
			}
            print("<pre>

					</pre>");

           }
       }
    }
closedir($handle); // We're not using it anymore


?>

