import 4.code.about;

class Header {

public void title() {

String fullTitle = '/trv/';
}

public void menu();

public void board();

public void goToBottom();

}
class Thread extends Board {
public void Cinco de mayo in Austin Tx(OP Anonymous) {

String fullTitle = 'Cinco de mayo in Austin Tx';
int postNumber = 2655097;
String image = '1714864526672926.jpg';
String date = '05/04/24(Sat)19:15:26';
String comment = 'Going to Austin tonight with some buddies. Any recommendations on where to go or do for one night? I know there are comedy clubs and small music shows.';

}
public void comments() {
if(Anonymous && title=='undefined' && postNumber==2655112 && dateTime=='05/04/24(Sat)19:33:00') {

'>>2655097
Casino El Camino for a burger then just walk 6th Street and go into a place that has live music you live. Watch out though those bars let 18 year olds in and even younger when it's crowded. Really easy to end up going home with a 15 or 16 year old if you're not careful';

}

if(Anonymous && title=='undefined' && postNumber==2655117 && dateTime=='05/04/24(Sat)19:45:04') {

'Grim...good luck, anon';

}

if(Anonymous && title=='undefined' && postNumber==2655231 && dateTime=='05/05/24(Sun)02:02:09') {

'>>2655097
Go home';

}

if(Anonymous && title=='undefined' && postNumber==2655238 && dateTime=='05/05/24(Sun)02:12:37') {

'>>2655097
Austin is the only place in Texas worth visiting besides big bend';

}

if(Anonymous && title=='undefined' && postNumber==2655240 && dateTime=='05/05/24(Sun)02:17:31') {

'>Going to Austin tonight
Anon, I'm so sorry...
>>2655238
kys';

}

if(Anonymous && title=='undefined' && postNumber==2655449 && dateTime=='05/05/24(Sun)12:26:52') {

'cinco de mayo is pretty fun when you don't have some hipster faggot in your ear telling you it's not Mexico's independence day or w/e';

}

if(Anonymous && title=='undefined' && postNumber==2655461 && dateTime=='05/05/24(Sun)12:44:23') {

'>>2655240
I'm correct';

}

}
}

class Navigation {
public void backToTop();
}