#include	<lib9.h>

int
p9rand(void)
{
	return lrand() & 0x7fff;
}