Redirecting to
fn.gtk_paper_size_get_default_right_margin.html
...