$val) { $_GET[$key] = addslashes($val); } } ?>