import 4.code.options;
import 4.code.about;

class Header{

public void title(){

String fullTitle = "/diy/ - Do-It-Yourself";

public void menu();

public void board();

public void goToBottom();

public void refresh(a);

class Thread extends Board{
public void EmptyTitle(OP Anonymous){

String fullTitle = "EmptyTitle";
int postNumber = "1424612";
String image = "1531441391919[1].jpg";
String date = "07/12/18(Thu)20:45:05";
String comment = "How do I get rid of a bunch of spiders living in some bricks in the back of my garden?";

public void comments(){
if(Anonymous && title=="" && postNumber==1424616 && dateTime=="07/12/18(Thu)20:47:08")

Are you so incompetent you cannot find a solution ?
If you find this to be a challenge, Ask your wife’s boyfriend"

if(Anonymous && title=="" && postNumber==1424636 && dateTime=="07/12/18(Thu)21:21:17")

It's a large pile of bricks that have been there for years. There's an obvious nest in it.

I was thinking some petrol and a lighter or some other chemical from a garden shop. But /diy/ should have some responses that can be quite helpful, moreso than the mothers that Google points you to."

if(Anonymous && title=="" && postNumber==1424642 && dateTime=="07/12/18(Thu)21:38:09")

Lots of Boiling water problem solved"

if(Anonymous && title=="" && postNumber==1424659 && dateTime=="07/12/18(Thu)22:06:01")

Are they bad spiders? Most spiders are bros who kill more annoying/harmful bugs."

if(Anonymous && title=="" && postNumber==1424665 && dateTime=="07/12/18(Thu)22:23:24")

Quite large spiders, yes bad ones. We're redoing the fence so a cleanup is necessary, but the toddler runs around the garden so I don't want to just displace them.

It's basically a pallet of bricks."

if(Anonymous && title=="" && postNumber==1424679 && dateTime=="07/12/18(Thu)22:58:24" && image=="genuine-empty-1200gr-zyklon-b-can-top-lid-transport-used-german-nazis-concentration-camps_3.jpg")

same way you get rid of any vermin"