function hide_div(div_id) {
	var el = document.getElementById(div_id);
	el.style.display = 'none';
}

function hide(windowname) {
	hide_div('blanket');
	hide_div(windowname);		
}