<?php
 $lista = array(13,'6',2,8,10,7,1,11,5,3,15,4,9,'12');
 sort($lista);
 print_r($lista);