function in_array(item,arr) {
	for(p=0;p<arr.length;p++) if (item == arr[p]) return true;
	return false;
}

function array_push ( array ) {
    
    var i, argv = arguments, argc = argv.length;
 
    for (i=1; i < argc; i++){
        array[array.length++] = argv[i];
    }
 
    return array.length;
}


function div_show(x) {
	
	e=document.getElementById(x);
	e.style.visibility="visible";
	e.style.display="block";
	

}

function div_close(x) {
	e=document.getElementById(x);
	e.style.visibility="hidden";
	e.style.display="none";
	
}