function sha1_file ( str_filename ) {	// Calculate the sha1 hash of a file
	// 
	// +   original by: Kevin van Zonneveld (http://kevin.vanzonneveld.net)

	return sha1(file_get_contents(str_filename));
}