<?php $course_id = 123456; var_dump((int)$course_id);
You have javascript disabled. You will not be able to edit any code.