import 4.code.about;

class Header {

public void title() {

String fullTitle = '/wsr/';
}

public void menu();

public void board();

public void goToBottom();

}
class Thread extends Board {
public void undefined(OP Anonymous) {

String fullTitle = 'undefined';
int postNumber = 1457880;
String image = '1713923769970789.jpg';
String date = '04/23/24(Tue)21:56:09';
String comment = 'What's that one drawing software that lets you make animated gifs with wobbly lines? It was on itch.io but I forgot what it was called';

}
public void comments() {
if(Anonymous && title=='undefined' && postNumber==1458327 && dateTime=='04/25/24(Thu)22:00:22') {

'>>1457880
bump';

}

if(Anonymous && title=='undefined' && postNumber==1458337 && dateTime=='04/25/24(Thu)22:57:59') {

'Wigglypaint?
https://internet-janitor.itch.io/wigglypaint';

}

if(Anonymous && title=='undefined' && postNumber==1458344 && dateTime=='04/25/24(Thu)23:06:22') {

'>>1458337
Not the one I'm thinking of sadly but it's close enough and I can probably use it as an alternative';

}

}
}

class Navigation {
public void backToTop();
}