php in HTML templates...