vancode2int($c = '00')comment/comment.module, line 2011
Decode vancode back to an integer.
<?php function vancode2int($c = '00') { return base_convert(substr($c, 1), 36, 10); } ?>