changed from php short tag