function doError(a,b,c){
a = stringReplace(a," ", "+")
var url = "/js/error.mv?error="+a+"&file="+b+"&line="+c
var tmp = GetCookie("JSError");
if (tmp != "noshow") window.open(url,"JavaScriptError","width=300,height=230")
return true
}
window.onerror = doError;

function hOut(obj, c){
obj.style.background = c;
}

function hIn(obj, c){
obj.style.background = c;
}


function jumpto(){
var f = document.jump
var i = f.to.selectedIndex
var url = String(f.to.options[i].value)
if (url.indexOf("javascript:") != -1) {
	eval(url.substring(11));
} else if (url != "null") top.document.location=url
}

function stringReplace(originalString, findText, replaceText)
{
var pos = 0
var len = findText.length
pos = originalString.indexOf(findText)
while (pos != -1){
preString = originalString.substring(0,pos)
postString = originalString.substring(pos+len, originalString.length)
originalString = preString + replaceText + postString
pos = originalString.indexOf(findText)
}
return originalString
}

function getCookieVal (offset) {
var endstr = document.cookie.indexOf (";", offset);
if (endstr == -1) endstr = document.cookie.length;
return unescape(document.cookie.substring(offset, endstr));
}

function GetCookie (name) {
var arg = name + "=";
var alen = arg.length;
var clen = document.cookie.length;
var i = 0;
while (i < clen) {
var j = i + alen;
if (document.cookie.substring(i, j) == arg) return getCookieVal (j);
i = document.cookie.indexOf(" ", i) + 1;
if (i == 0) break; 
}
return null;
}