Use correct PHP tag