Example of backus-naur form with 8-digit number?