XSL Translation for the US Code into StateDecoded