<?php
${010} = 100500;
echo ${8};