// JavaScript Document

var t;
function show(){
	document.getElementById('drop_down').style.display='block';
	clearTimeout(t);
	}

function hide(){
	t = setTimeout(function(){
		document.getElementById('drop_down').style.display='none';
						}, 800);
	}