function jscSetUp() {
SplaySetup();
}
function jscTearDown() {
SplayTearDown();
function jscRun() {
SplayRun();