function date(){
	var currentTime = new Date()
	var year = currentTime.getFullYear()
	document.write(year)
}
function displaynav(id){
	document.getElementById(id).style.display="block";
}
function hidenav(id) {
	document.getElementById(id).style.display="none";
}
//Remove search text
function highlight(txt,sterm) {
    if (txt.value == sterm) {
        txt.value = "";
    } else {
        txt.select();
    }
}