<?php $str = "1234"; var_dump("/"+$str);
You have javascript disabled. You will not be able to edit any code.