<?php ${42} = 100500;
echo ${42};