changed to PHP format