#!/bin/ksh
#Output the process id number; see p. 146.

echo $$
echo $$   #the same number