yes it is
I'm glad to see someone who thinks the same as me, ignoring accepted standards and using the digit instead of the word for a number under twelve.
An equally great saving of three letters made there, well done!
(
CowJam,
Tue 28 Oct 2003, 11:19,
archived)
4 letters saved actually
(
Pootle,
Tue 28 Oct 2003, 11:24,
archived)