Search requires javascript to work
Writes a normal integer to a writable bitbuffer (bf_write).
void WriteNum(int num)
Integer to write (value will be written as 32bit).