window.navmet.push({key:'Tools',end:+new Date(),begin:window.navmet.tmp});