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