main() { printf("%d\n", getpagesize()) ; }