<!--
var speed = 100 // decrease value to increase speed (must be positive)
var pause = 1000 // increase value to increase pause
var timerID = null
var bannerRunning = false
var ar = new Array()
ar[0] = "http://www.chinatool.net"
ar[1] = "欢迎光临中国工具信息网"
ar[2] = "中国工具行业权威的技术性网站"
ar[3] = "为您提供全面的技术服务"
var currentMessage = 0
var offset = 0

function stopBanner() {
if (bannerRunning)
clearTimeout(timerID)
bannerRunning = false
}

function startBanner() {
stopBanner()
showBanner()
}

function showBanner() {
var text = ar[currentMessage]
if (offset < text.length) {
if (text.charAt(offset) == " ")
offset++ 
var partialMessage = text.substring(0, offset + 1) 
window.status = partialMessage
offset++ // IE sometimes has trouble with "++offset"
timerID = setTimeout("showBanner()", speed)
bannerRunning = true
} else {
offset = 0
currentMessage++
if (currentMessage == ar.length)
currentMessage = 0
timerID = setTimeout("showBanner()", pause)
bannerRunning = true
}
}
//-->