#include	<lib9.h> intp9rand(void){	return lrand() & 0x7fff;}