tputDeviceTransform');
var usedByBoxes= new Array('usedBy_tnInverseOutputDeviceTransform');
var sourceBoxes= new Array('source_tnInverseOutputDeviceTransform');
var diagramBoxes= new Array('diagram_tnInverseOutputDeviceTransform');

      
        var button_prefix = 'button_';
        
        /**
        * Returns an element in the current HTML document.
        *
        * @param elementID Identifier of HTML element
        * @return               HTML element object
        */
        function getElemen