bug fixed for IE, jstool.js added