Last modified: " . date ("Y/m/d H:i:s.", filemtime($filename)) . ""; } ?>