package def.dom;
public class PerformanceNavigation extends def.js.Object {
    public double redirectCount;
    public double type;
    native public Object toJSON();
    public double TYPE_BACK_FORWARD;
    public double TYPE_NAVIGATE;
    public double TYPE_RELOAD;
    public double TYPE_RESERVED;
    public static PerformanceNavigation prototype;
    public PerformanceNavigation(){}
}

