function jump656(theURL)
{if (theURL != '') window.location = theURL;}