<?php $siren = 542012000023; echo substr((string)$siren, 0, 9);
You have javascript disabled. You will not be able to edit any code.