// JavaScript Document

function header_selector (value) {
	window.location = value;
}