','>',$_POST['text'])));
#javascript redirect
echo '';
}
#close file
fclose($file);
#now get the contents so we can write it.
$text = file_get_contents($filename);
$stuff = explode('|:)',$text);
$time = $stuff[0];
$text = $stuff[1];
#Shows things like forms, last updated, etc.
echo 'Last updated: ' . date("M j, g:i A",$time) . '
';
?>