function push($array, $val) {
	if($array == '' OR !array_push($array, $val)) return '';
	return $array;
}