# $EPIC: rest.txt,v 1.2 2006/08/19 06:07:20 sthalik Exp $
$rest(<text>)
$rest(<num> <text>)
This can be used to remove the initial character of a string, or to remove multiple initial characters from a string.
<text> with the first <num> characters removed.
$rest(4 foobarfnord) returns "arfnord" $rest(foobarfnord) returns "oobarfnord" $rest(1 5 testing) returns " testing"