WordPress post template by category ID

We have been working on the Leisure Holdings websites. All the sites are developed with WordPress. Here is a quick script to add to your functions.php so each category can have its own post template (single.php). Example: If the category number is 13 then the file...