with semicolon in php tags