function id_user(){
	$user_agent=preg_replace('#[^a-zA-Z]#','',$_SERVER["HTTP_USER_AGENT"]);
	return $user_agent;
}