svntax of ihe