", $dot); $dot_filename = md5( $dot) . ".dot"; if( ! file_exists( $DotFiles ."/". $dot_filename)) { $dot_file = fopen( $DotFiles ."/". $dot_filename,"wb"); fputs( $dot_file, $dot); } return $WebDotFiles."/".$dot_filename.".dot.png"; } ?>