;

some random things.