RandomBackground("01.gif 02.gif 03.jpg 04.jpg 05.jpg 06.jpg 07.jpg 08.jpg 09.gif 10.gif ","bgproperties=fixed");