document.write('
'); document.write('karel is the name and bball is the game
');