XSLT example for avt