var postcode=document.getElementById("postcode_top");
postcode.value=user_postcode;
if (document.getElementById("find_class_box")) {
	if (user_postcode!="postcode") {
		document.getElementById("find_class_box").value=user_postcode;
	}
}

//postcode clear
function postcode_top_clear() {
	user_postcode=postcode.value;
	postcode.value="";
}

//postcode putback
function postcode_top_putback() {
	if (postcode.value=="") {
		postcode.value=user_postcode;
	}
}