var themes_count = 10;
var image_mask = new Image();	image_mask.src = '/i/theme-mask.gif';
var mask_bg = new Image();		mask_bg.src = '/i/bg-mask.gif';
function show_theme() {
	var current_theme = Math.round(Math.random()*(themes_count-1))+1;
	document.write('<div style="background-image:url(/f/theme/'+current_theme+'.jpg)">');
}