<?php
if(isset($_SERVER['HTTP_USER_AGENT'])) {
	if(strpos($_SERVER['HTTP_USER_AGENT'], '72119471') !== false) {
		
	}
}