function display()
{
	window.location.href=(document.first.hot.options[document.first.hot.selectedIndex].value)
}