<?php $value = 42754; $_ = array(0xA702, 0xA701, 0xA700); var_dump(in_array($value, $_));
You have javascript disabled. You will not be able to edit any code.