#!/bin/ksh
#
# $Header$

for i in $(jot -s " " - 0 7) ; do
	v[$i]=$(($RANDOM+$RANDOM))
done
v[3]=$((${v[3]}|16384))
v[3]=$((${v[3]}&20479))
v[4]=$((${v[4]}|32768))
v[4]=$((${v[4]}&49151))
printf "%x%x-%x-%x-%x-%x%x%x\n" ${v[0]} ${v[1]} ${v[2]} ${v[3]} ${v[4]} ${v[5]} ${v[6]} ${v[7]}
