$prod_no = 0 + substr($source,88,8);