function is_weixin() {
if (strpos($_SERVER['HTTP_USER_AGENT'], 'MicroMessenger') !== false) return true;
else return false;
if (strpos($_SERVER['HTTP_USER_AGENT'], 'MicroMessenger') !== false) return true;
else return false;
}
function is_Android() {
if (strpos($_SERVER['HTTP_USER_AGENT'], 'Android') !== false) return true;
else return false;
}