      
			      xhttp.open("GET", file, true);
			      xhttp.send();
			      /*exit the function:*/
			      return;
			    }
			  }
			};
		</script>
		<style type="text/css">
			::-webkit-scrollbar {
			  -webkit-appearance: none;
			  width: 10px;
			}
			
			::-webkit-scrollbar-thumb {
			  border-radius: 5px;
			  background-color: rgba(0,0,0,.5);
			  -webkit-box-shadow: 0 0 1px rgba(255,255,255,.5);
			}
			
			object.bx {overflow-y: scroll; border: 5px; width: 100%}
			div.pre { 
			  display: blo