4.4.1.4.2.4.7.13.1.22. WriteInt1
Записать число Int1 в файл.
void WriteInt1(int1 number)