rem: window.location.reload(true); 
add: document.close(); window.location.href = window.location.href; 
context: function setcolor(){	// set cookie to expire in 30 days	var expireTime=new Date();	ThirtyDays=30*24*60*60*1000;   	expireTime.setTime(expireTime.getTime()+ThirtyDays); 	setCookie("webif_colortheme",this.title, expireTime); 	colorize();  	window.location.reload(true);}
meta: 8223	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8223/09aa53f776d39344216d03168313f9edb63c054e/colorize.js/clean/trunk/package/webif/files/www/colorize.js