<?php
function foo($x) {
    return ($x * 17);
//}