<?php

$n = "1111111111111111";

$nxt = gmp_nextprime($n);

echo gmp_strval($nxt), "\n";