vancode2int($c = '00')
Decode vancode back to an integer.
modules/comment/comment.module, line 2330
<?php function vancode2int($c = '00') { return base_convert(substr($c, 1), 36, 10); } ?>
Some quick links to get you started