package net.sf.yacas;
import java.net.*;
import java.io.*;
class CDataReader
{
public CDataReader()
{
}
public int Open(URL source)
{
String mark = null;
in = null;
try
var snSrc;
if (window.__smartNav == null)
{
window.__smartNav = new Object();
window.__smartNav.update = function()
{
var sn = window.__smartNav;
var fd;
do
