/* ############################################### Mouse JavaScript API ############################################### */ var __mouse_coords = new Array(2), __mouse_moveevent_functions = new Array; function MouseCoords() { return __mouse_coords; } function MouseWithin (x,y,xx,yy) { var Mouse = MouseCoords(); return ((Mouse[0] >= x) && (Mouse[0] <= xx) && (Mouse[1] >= y) && (Mouse[1] <= yy)); } function MouseMoveEvent(e) { // Get values from IE/Netscape if ( Browser_is_IE() ) { __mouse_coords[0] = event.clientX + document.body.scrollLeft; __mouse_coords[1] = event.clientY + document.body.scrollTop; } else { __mouse_coords[0] = e.pageX; __mouse_coords[1] = e.pageY; } // Fix negative values for ( var x = 0 ; x < 2 ; x++ ) if ( __mouse_coords[x] < 0 ) __mouse_coords[x] = 0; // Run MoveEvent functions MouseRunMoveEvent(e); return 1; } function MouseRunMoveEvent (e) { for ( x = 0 ; x < __mouse_moveevent_functions.length ; x++ ) { var func = __mouse_moveevent_functions[x]; func(e); } return 1; } function MouseAddMoveEvent (func) { __mouse_moveevent_functions[__mouse_moveevent_functions.length] = func; } if ( !Browser_is_IE() ) document.captureEvents(Event.MOUSEMOVE); document.onmousemove = MouseMoveEvent; /* ############################################### Component manager ############################################### */ // Get a component coordinates function ComponentCoords ( comp ) { var total = new Array(2); total[0] = 0; total[1] = 0; while ( comp.offsetParent ) { total[0] += comp.offsetLeft; total[1] += comp.offsetTop; comp = comp.offsetParent; } return total; } // Get a component dimensions function ComponentDims ( comp ) { var dims = new Array(2); dims[0] = comp.offsetWidth; dims[1] = comp.offsetHeight; return dims; } /* ############################################### Browser manager ############################################### */ function Browser_is_IE () { return document.all ? true : false; } function BrowserDimensions () { var dims = new Array(2); if ( Browser_is_IE() ) { dims[0] = document.body.scrollWidth; dims[1] = document.body.scrollHeight; } else { dims[0] = window.innerWidth; dims[1] = window.innerHeight; } return dims; } ///////////////EON antigo depot/////////// ///////////////////////////////////////// var fotoWindow; function popImg(filename,extraInfo) { var extraHeight = extraInfo ?40 : 0; if (fotoWindow){ fotoWindow.close(); } fotoWindow=window.open("", "fotoWindow", "height=150,width=150,resize=yes,scrollbars=yes,status=yes"); fotoWindow.document.write(""); fotoWindow.document.write(""); fotoWindow.document.write("