<?php
if(!function_exists('random_string'))
{
	#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
	# Generate a random string
	#
	function random_string($random_string_length=8)
	#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
	{
		global $random_string;
		$charset='abcdefghijkmnopqrstuvwxyz023456789';
		if ($random_string_length==0) { $random_string_length='10'; }
		mt_srand((double)microtime()*1000000);
		$random_string='';
		$i=0;
		while ($i<$random_string_length) { $i++; $random_string.=random_char($charset); }
		return($random_string);
	}
	#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
	function random_char($charset)
	#~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
	{
		$temp=strlen($charset);
		$random_string_pos=mt_rand(0,$temp-1);
		return ($charset[$random_string_pos]);
	}
}
?>