var IE = document.all? 1:0; if (IE) { 
if (document.all && !window.opera) { 
function ieRand() {	var IE = document.all? 1:0;	if (IE) {		return '&rndcache='+Math.floor(Math.random()*1000000);	}	else {		return '';	}}
9569	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/9569/54fee3f06a169d9a4860c5f63f6110373b3fb28e/global.js/buggy/viscacha08/templates/global.js