write(1)?
write(12)?
write(123)?
write(1234)?
write(12345)?
write(123456)?
write(1234567)?
write(12345678)?
write(123456789)?
write(1234567890)?
write(12345678901)?
write(123456789012)?
write(1234567890123)?
write(12345678901234)?
write(123456789012345)?
write(1234567890123456)?
write(12345678901234567)?

write(0)?

write(999999999)?
write(1000000000)?
write(1000000001)?

write(-999999999)?
write(-1000000000)?
write(-1000000001)?
write(fact(16)),nl?
write(fact(17)),nl?
write(fact(18)),nl?
write(fact(19)),nl?
