var text_size = 0
function sizeChange()	{
	if(text_size < 30)	{
		text_size = text_size + 2
		var text_size_s = text_size + "pt"
		document.all.text1.style.fontSize = text_size_s
		timerID = setTimeout("sizeChange()",0)
	} else {
		clearTimeout(timerID)
		document.all.text1.style.color = "#FF0000"
	}
}