function pauseApplet(theButt)
{
	document.photoscriptumapplet.toggleBreak();
	if (theButt.value==" || ") theButt.value=" > ";
	else theButt.value=" || ";
}
function stopApplet(theButt)
{
document.photoscriptumapplet.stop();

}