Some simple PHP-Snippets