Open Look window manager v1.x:  000-U0-0009

Yes, it does appear that there are not enough digits and that the middle is
wrong.  Nonetheless, this IS the correct serial number.
