function query(){
	$('query').submit();
}
function setpage(page){
	$('page').value = page;
	query();
}
function $(id){
 return document.getElementById(id);
}