<?php echo (int)(('0.1' + '0.7') * '10');
You have javascript disabled. You will not be able to edit any code.