use isset() to replace @