$str = "201510222141084291234562341234";
echo $str."\n";
echo bcmod(bcadd($str, '07345'), 6445)."\n";